Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-09-06 20:04:53 -0700 (Mon, 06 Sep 2004)
Revision: 573
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.
      

Changes	Path
+2 -0	libmojave-branches/new_parser/util/lm_lexer.ml
+2 -0	libmojave-branches/new_parser/util/lm_parser.ml