Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-05-25 17:41:08 -0700 (Tue, 25 May 1999)
Revision: 2674
Log message:
I removed @ from the parameter syntax for meta-parameters. Now
[xxx:s] is parsed as a meta-string parameter (MString "xxx") and
["xxx":s] is parsed as a string parameter (Sting "xxx")
I also copied .cmoz files to .prlb files until I've reached a fixpoint.