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