| #
3e0abefa |
|
23-May-2018 |
Mario Xerxes _Castelán Castro_ <marioxcc@example.org> |
Use file extension “txt” for compiled built-in help files.
The previous extension “adoc” is used for ASCIIdoc markup language. “txt” is
more appropriate because this is plain text.
|
| #
1205c58b |
|
10-Jul-2012 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Switch Keepers to work on an opt-out basis.
|
| #
3607a681 |
|
29-Sep-2010 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Untabified.
|
| #
53827563 |
|
29-Sep-2010 |
Anthony Fox <anthony.fox@cl.cam.ac.uk> |
Avoid a bunch of pattern completion warning messages.
|
| #
32b5729e |
|
06-Oct-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Modify the HTML generation code to emit valid HTML 4.01 strict.
|
| #
873bc617 |
|
19-Jul-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Prettified.
|
| #
f822a7c7 |
|
10-Dec-2008 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
It turns out that Scott's Help DB is not compatible with Moscow ML's
own, so I have to compile Moscow ML's original code to get the Moscow
ML database to work. I put that code into MyDatabase and faff some
more with the Holmakefile. The Database code is deleted in help/src.
|
| #
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.
|