Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-17 13:23:37 -0800 (Fri, 17 Dec 2004)
Revision: 6360
Log message:

      Minor fixes.
      

Changes	Path
+3 -0	metaprl/theories/ocaml_doc/OMakefile
+15 -14	metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml