Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-01-03 11:37:16 -0800 (Mon, 03 Jan 2005)
Revision: 6376
Log message:

      Minor font adjustments.
      

Changes	Path
+8 -1	metaprl/theories/ocaml_doc/book3.tex
+2 -2	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml