Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-17 07:56:44 -0700 (Tue, 17 May 2005)
Revision: 7289
Log message:

      More minor TeX-related fixes.
      

Changes	Path
Properties	metaprl/theories/base
Properties	metaprl/theories/czf
+9 -6	metaprl/theories/experimental/compile/OMakefile
Properties	metaprl/theories/fir
+1 -1	metaprl/theories/fol/OMakefile
+1 -0	metaprl/theories/ocaml_doc/OMakefile