Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-09 17:14:53 -0700 (Thu, 09 May 2002)
Revision: 3618
Log message:

      Fixing the Conscript so that it actually builds some files.
      (-:
      

Changes	Path
+3 -5	metaprl-branches/ocaml_3_04/theories/mc/Conscript