Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-06 19:59:28 -0700 (Sun, 06 Jul 2003)
Revision: 4705
Log message:

      Added make support for the abstract vars branch.
      

Changes	Path
+8 -4	metaprl-branches/abstract_vars/Makefile
+10 -0	metaprl-branches/abstract_vars/editor/ml/Makefile
+6 -0	metaprl-branches/abstract_vars/filter/Makefile
+1 -1	metaprl-branches/abstract_vars/mk/preface
+1 -1	metaprl-branches/abstract_vars/refiner/refbase/opname.ml
+5 -4	metaprl-branches/abstract_vars/theories/itt/itt_int_base.mli
+21 -1	metaprl-branches/abstract_vars/theories/itt/itt_int_ext.mli
+1 -1	metaprl-branches/abstract_vars/theories/itt/itt_struct3.mli
+7 -6	metaprl-branches/abstract_vars/theories/tptp/tptp.mli
+8 -2	metaprl-branches/abstract_vars/theories/tptp/tptp_cache.ml
+16 -7	metaprl-branches/abstract_vars/theories/tptp/tptp_load.ml
+42 -17	metaprl-branches/abstract_vars/theories/tptp/tptp_prove.ml