Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-17 16:10:55 -0800 (Tue, 17 Jan 2006)
Revision: 8497
Log message:

      Forgot to commit option_sig.ml.
      
      Added a proof_initialize resource that can be used to initialize
      the initial tactic_arg.
      

Changes  Path
+2 -0 metaprl/support/shell/OMakefile
+1 -0 metaprl/support/shell/package_info.ml
Added metaprl/support/shell/proof_initialize.ml
Properties metaprl/support/shell/proof_initialize.ml
Added metaprl/support/shell/proof_initialize.mli
Properties metaprl/support/shell/proof_initialize.mli
+1 -1 metaprl/support/tactics/OMakefile
+1 -0 metaprl/support/tactics/top_options.ml
+1 -0 metaprl/support/tactics/top_resource.mlz
Added metaprl/tactics/proof/option_sig.ml
Properties metaprl/tactics/proof/option_sig.ml
+2 -2 metaprl/tactics/proof/tactic_boot.ml