#
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.
|