Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-28 01:50:07 -0700 (Fri, 28 Jun 2002)
Revision: 3726
Log message:
Sorry. Makefile still contained removed files.
Changes | Path |
+10 -7 | metaprl/theories/mc/Makefile |