Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-03 19:50:12 -0700 (Mon, 03 Oct 2005)
Revision: 7830
Log message:

      Merged revisions 7812:7827 from the 0.9.6.x branch (this skipped a bunch of
      revisions that contained things backported from 0.9.7 back to 0.9.6):
      
        svn merge -r 7812:7827 svn+ssh://svn.metaprl.org/svnroot/mojave/omake-branches/0.9.6.x
      

Changes  Path
+17 -9 omake-branches/omake_0_9_7_ref/src/ir/omake_state.ml
+1 -0 omake-branches/omake_0_9_7_ref/src/ir/omake_state.mli
+2 -3 omake-branches/omake_0_9_7_ref/src/magic/omake_gen_magic.ml
+4 -1 omake-branches/omake_0_9_7_ref/src/main/omake_main.ml