Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-09-03 22:11:04 -0700 (Tue, 03 Sep 2002)
Revision: 3844
Log message:

      Updates on the OCaml book.
      
      Also, the MetaPRL comment parser was being too aggressive
      in coalescing newlines.  This update restores paragraphs
      to the OCaml book.
      

Changes  Path
+2 -0 metaprl/doc/latex/theories/ocaml_doc/update
+1 -1 metaprl/mllib/comment_parse.mll
+2 -1 metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+3 -2 metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+51 -39 metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+23 -19 metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+18 -10 metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+19 -15 metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+4 -3 metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
+5 -4 metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+6 -5 metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+2 -1 metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
+2 -1 metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
+16 -14 metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+2 -1 metaprl/theories/ocaml_doc/ocaml_doc_type1.ml
+52 -40 metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
+11 -0 metaprl/theories/tactic/comment.ml
+1 -0 metaprl/theories/tactic/comment.mli