Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-08-24 19:46:54 -0700 (Tue, 24 Aug 2004)
Revision: 6132
Log message:

      - Made sure that theories.pdf compiles.
      - There were two copies of book2.tex, removing the unused one.
      

Changes  Path
Deleted metaprl/doc/latex/theories/book2.tex
+7 -0 metaprl/support/display/comment.ml
+0 -6 metaprl/theories/ocaml_doc/book2.tex
+6 -0 texinputs/metaprl.tex