Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2003-04-11 23:01:12 -0700 (Fri, 11 Apr 2003)
Revision: 4418
Log message:

      Forgot to add generated files to .cvsignore.
      

Changes	Path
Properties	metaprl/doc/latex/theories/experimental/compile