| #
1a67f1c8 |
|
07-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove more invocations of poly in favour of POLYC
In the developers directory and the building of the help system's tools.
|
| #
1af7f133 |
|
10-Dec-2008 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Cope with the fact that I've moved the Database code into help/src-sml.
|
| #
4e5ab1e3 |
|
10-Dec-2008 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Update some svn:ignore properties; remove Database.{sig,sml} from
tools-poly/poly because they are now in help/src-sml, and also remove
Keepers.sml from help/src because that is now in help/src-sml too.
|
| #
1b090788 |
|
10-Dec-2008 |
Scott Owens <Scott.Owens@cl.cam.ac.uk> |
Got the "help" function working at the interactive loop.
|
| #
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.
|