History log of /seL4-l4v-10.1.1/HOL4/help/src-sml/Database.sml
Revision Date Author Comments
# 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!


# 104750ec 26-Mar-2009 Scott Owens <Scott.Owens@cl.cam.ac.uk>

The help wasn't building under PolyML due to a (possible) PolyML bug. This
works around the problem.


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

Make this directory build Moscow ML versions of the help executables,
promoting Scott's PolyML version of Database to be the primary
version. In general, take the attitude that PolyML sources here can
be primary, and that the Moscow ML stuff can be made to work with
appropriate use of My* structures, and Holmakefile magic.
When this is confirmed to work (really just need to test makebase),
I will remove help/src entirely.


# d76f367d 09-Dec-2008 Scott Owens <Scott.Owens@cl.cam.ac.uk>

Got the help build system working on PolyML.


# e58a33ef 09-Dec-2008 Scott Owens <Scott.Owens@cl.cam.ac.uk>

Start working on porting the doc building system to SML (i.e., not Moscow ML)
to get it working with Poly ML.