Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-21 09:14:48 -0800 (Mon, 21 Feb 2005)
Revision: 6731
Log message:
Added some documentation on declarations.
I'm not sure support/doc is the best place to put miscellaneous
documentation, but it seems as good as any.
| Changes | Path |
| +1 -1 | metaprl/OMakefile |
| Properties | metaprl/support/doc |
| Added | metaprl/support/doc/OMakefile |
| Properties | metaprl/support/doc/OMakefile |
| Added | metaprl/support/doc/doc_declare.ml |
| Properties | metaprl/support/doc/doc_declare.ml |
| Added | metaprl/support/doc/doc_declare.mli |
| Properties | metaprl/support/doc/doc_declare.mli |
| Added | metaprl/support/doc/misc.tex |
| Properties | metaprl/support/doc/misc.tex |