Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-05-12 09:48:45 -0700 (Sun, 12 May 2002)
Revision: 3628
Log message:
Merging the ocaml_3_04 branch.
The major changes in this commit are:
- Switch to OCaml+CamlP4 version 3.04
- Many cons changes (in particular, cons now only supports mcc+MetaPRL,
but does not support standalone MetaPRL).
- Added partial support for "input forms" that are the input analogy to display forms.
- Added apply_rewrite function.
- Updated Mp_mc_compile to use the updated apply_rewrite mechanism.
- Changed the top_bookmark implementation to make it more explicit that
it's always the same bookmark.
- Filter_ocaml unmarshaling for str_items now fails softly. If the
term format changes, you may get a warning asking you to regenerate
the .prla files.
- Filter_ocaml was significantly restructured to speed up the compilation.