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 |