Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-09-03 10:29:07 -0700 (Tue, 03 Sep 2002)
Revision: 3838
Log message:

      Stange, the comment.ml file was totally out-of-date.
      We were missing chapters, sections, subsections, etc.
      This is fixed.  No major changes on the book dcoument
      yet.
      

Changes  Path
Added metaprl/doc/latex/theories/book2.tex
Properties metaprl/doc/latex/theories/book2.tex
Properties metaprl/doc/latex/theories/ocaml_doc
Added metaprl/doc/latex/theories/ocaml_doc/metaprl.tex
Properties metaprl/doc/latex/theories/ocaml_doc/metaprl.tex
Added metaprl/doc/latex/theories/ocaml_doc/print.ml
Properties metaprl/doc/latex/theories/ocaml_doc/print.ml
+1 -1 metaprl/editor/ml/mpconfig
+2 -2 metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+1 -1 metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+103 -5 metaprl/theories/tactic/comment.ml
+29 -0 metaprl/theories/tactic/comment.mli
+20 -0 texinputs/metaprl.tex