Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-09-19 09:46:39 -0700 (Tue, 19 Sep 2000)
Revision: 3065
Log message:

      Fall back to CM fonts in the all-theories.tex file.
      This should fix problem with missing LB (Lucida Bright) fonts.
      My copy of acrobat 4.0 has no trouble reading the result of pdflatex,
      let me know if there are still problems.
      

Changes  Path
+2 -2 metaprl/doc/latex/theories/Makefile
+6 -2 metaprl/doc/latex/theories/all-theories.tex