Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-12 13:01:38 -0700 (Sun, 12 Oct 2003)
Revision: 4980
Log message:

      Improved clean.
      

Changes  Path
+2 -2 metaprl/OMakefile
+6 -2 metaprl/doc/latex/theories/OMakefile
Added metaprl/doc/ps/theories/OMakefile
Properties metaprl/doc/ps/theories/OMakefile
+1 -1 metaprl/theories/base/OMakefile
+1 -1 metaprl/theories/czf/OMakefile
+1 -1 metaprl/theories/experimental/compile/OMakefile
+1 -1 metaprl/theories/fir/OMakefile
+1 -1 metaprl/theories/fol/OMakefile
+1 -1 metaprl/theories/itt/OMakefile
+1 -1 metaprl/theories/ocaml_doc/OMakefile