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