Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-05-07 11:02:52 -0700 (Tue, 07 May 2002)
Revision: 3604
Log message:
The .prla problem should be fixed. MetaPRL compiles both
with "make" and "cons".
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.
This compiles with Aleksey's new OCaml in native code. Note,
if you are using RH7.2, the RH7.3 RPM will not work. You can
either rpm --rebuild from the RPM source, or maybe Aleksey can
generate an old version at some point.