Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-21 13:03:52 -0700 (Wed, 21 Jul 2004)
Revision: 6104
Log message:

      Some formatting changes.
      

Changes	Path
+2 -2	metaprl/OMakefile
+1 -0	metaprl/mk/defaults
+4 -0	metaprl/mk/make_config
+5 -3	metaprl/mllib/comment_parse.mll
+85 -1	metaprl/support/display/comment.ml
+11 -0	metaprl/support/display/comment.mli
+23 -4	metaprl/theories/ocaml_doc/book2.tex
+66 -66	metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+10 -10	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+103 -101	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+41 -49	metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+33 -42	metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+54 -62	metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+51 -31	metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
+45 -45	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+64 -64	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+36 -44	metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
+8 -15	metaprl/theories/ocaml_doc/ocaml_doc_name1.ml
+26 -34	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+3 -10	metaprl/theories/ocaml_doc/ocaml_doc_type1.ml
+47 -55	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml