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