History log of /seL4-l4v-10.1.1/HOL4/tools-poly/poly/Help.sml
Revision Date Author Comments
# 2de705fb 13-May-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix buglet in interactive help system

Closes #516

Turns out it isn't necessary to "eat" the newline character that ended
the user's typing of

help "somestring";

any more.


# 4761143b 10-Aug-2009 Tjark Weber <Tjark.Weber@cl.cam.ac.uk>

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!


# 63fc455c 10-Dec-2008 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix an error that was preventing the Poly help system from finding
signature files to browse. (This caused by the fact that
TextIO.openIn raises IO.Io, not OS.SysErr. Contrast with Moscow ML's
BasicIO.open_in.)


# 1b090788 10-Dec-2008 Scott Owens <Scott.Owens@cl.cam.ac.uk>

Got the "help" function working at the interactive loop.