History log of /seL4-l4v-master/HOL4/help/src-sml/runDoc2Tex.sml
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.