Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-05 16:41:04 -0700 (Mon, 05 May 2003)
Revision: 4562
Log message:

      - Uncommenting the rule that was giving Jason trouble (so that we can figure
      out what is going on).
      - "make clean" in doc/latex/theories needs to erase *.toc as well.
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/Makefile
+0 -3	metaprl/theories/itt/itt_collection.ml