Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-07-25 17:45:38 -0700 (Thu, 25 Jul 2002)
Revision: 3745
Log message:
This hack is necessary for certain older perl versions to parse the
Conscript files correctly.
| Changes | Path |
| +1 -1 | metaprl/library/Conscript |
| +1 -1 | metaprl/refiner/reflib/Conscript |
| +1 -1 | metaprl/theories/base/Conscript |
| +1 -1 | metaprl/theories/itt/Conscript |
| +1 -1 | metaprl/theories/ocaml/Conscript |