Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-26 00:50:55 -0800 (Thu, 26 Jan 2006)
Revision: 8612
Log message:

      *** WARNING: BREAKS BINARY COMPATIBILITY! ***
      
      Changing the option_table, making the options lookup more efficient.
      

Changes  Path
+6 -3 metaprl/filter/base/filter_magic.ml
+1 -1 metaprl/support/tactics/basic_tactics.ml
+9 -8 metaprl/support/tactics/dtactic.ml
+1 -1 metaprl/support/tactics/dtactic.mli
+2 -1 metaprl/support/tactics/top_conversionals.ml
+3 -2 metaprl/support/tactics/top_conversionals.mli
+12 -60 metaprl/support/tactics/top_options.ml
+11 -27 metaprl/support/tactics/top_options.mli
+1 -1 metaprl/tactics/proof/OMakefile
Deleted metaprl/tactics/proof/option_sig.ml
Copied metaprl/tactics/proof/options_boot.ml
+113 -0 metaprl/tactics/proof/options_boot.ml
Copied metaprl/tactics/proof/options_boot.mli
+66 -0 metaprl/tactics/proof/options_boot.mli
+1 -1 metaprl/tactics/proof/rewrite_boot.ml
+15 -13 metaprl/tactics/proof/tactic_boot.ml
+1 -1 metaprl/tactics/proof/tactic_boot_sig.ml