Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-07-07 14:06:11 -0700 (Thu, 07 Jul 2005)
Revision: 7570
Log message:

      Convert to using normal conditionals for metaprl.tex to get it to work
      on FC4 (I don't know why it doesn't work there).
      

Changes	Path
+95 -116	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+9 -5	texinputs/metaprl.tex