Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-09-06 20:04:53 -0700 (Mon, 06 Sep 2004)
Revision: 6183
Log message:
Added the magic number generator. If you are concerned that your
data structure might be Marshaled, delimit the type definitions
as follows:
(* %%MAGICBEGIN%% *)
type foo = ...
...
(* %%MAGICEND%% *)
We actually don't need to worry much about marshaling the grammar.
Things marshaled are: a) lexer, b) parser, c) rewrites, d) terms,
e) sets, f) tables.
However, when one of these data structures changes, it will usually
force the theory files to be recompiled anyway.