Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-21 18:08:28 -0800 (Sat, 21 Jan 2006)
Revision: 8556
Log message:
Some changes for the OCaml book.
Changes | Path |
+26 -4 | metaprl/support/display/comment.ml |
+2 -0 | metaprl/support/display/comment.mli |
+58 -47 | metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml |