History log of /seL4-l4v-master/HOL4/help/src-sml/Doc2Html.sml
Revision Date Author Comments
# 7b75f3ea 31-Aug-2018 Andreas Lööw <AndreasLoow@users.noreply.github.com>

Make sure all HTML pages are interpreted as utf-8 encoded

E.g. computeLib.CBV_CONV didn't display properly before this commit

Also use the "html5 doctype" in affected files


# a1e07ed5 21-Jun-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Allow for emphasis in .doc files by using *-delimiters


# 8a7a5266 19-Jun-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Adjust .doc processors to die with more information

In Poly/ML at least, you need to explicitly catch and do something with
exceptions. Otherwise, the process quietly dies with an error exit code.


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

Tidying the PolyML help stuff.


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