| #
a1e07ed5 |
|
21-Jun-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Allow for emphasis in .doc files by using *-delimiters
|
| #
085b36cb |
|
09-Feb-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove a misleading comment in ParseDoc.sml
|
| #
dc632c63 |
|
09-Feb-2011 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get ParseDoc to complain about more sorts of empty fields.
It already complains about empty SEEALSO sections.
|
| #
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.
|