Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-11 08:09:42 -0700 (Sun, 11 May 2003)
Revision: 4585
Log message:

      Added FIR<->term translation.  4000 lines of pure grundge code.
      

Changes	Path
+2 -2	metaprl/OMakefile
+0 -2	metaprl/clib/OMakefile
+0 -2	metaprl/debug/OMakefile
+13 -7	metaprl/editor/ml/OMakefile
+0 -2	metaprl/ensemble/OMakefile
+0 -2	metaprl/filter/OMakefile
+0 -2	metaprl/filter/base/OMakefile
+0 -2	metaprl/filter/boot/OMakefile
+0 -2	metaprl/filter/filter/OMakefile
+0 -2	metaprl/filter/phobos/OMakefile
+0 -2	metaprl/library/OMakefile
+17 -7	metaprl/mk/config.win32
+0 -2	metaprl/mllib/OMakefile
+0 -2	metaprl/refiner/OMakefile
+0 -2	metaprl/refiner/refbase/OMakefile
+0 -2	metaprl/refiner/refiner/OMakefile
+0 -2	metaprl/refiner/reflib/OMakefile
+0 -2	metaprl/refiner/refsig/OMakefile
+0 -2	metaprl/refiner/rewrite/OMakefile
+0 -2	metaprl/refiner/term_ds/OMakefile
+0 -2	metaprl/refiner/term_gen/OMakefile
+0 -2	metaprl/refiner/term_std/OMakefile
+0 -2	metaprl/support/display/OMakefile
+0 -2	metaprl/support/shell/OMakefile
+0 -2	metaprl/support/tactics/OMakefile
+0 -2	metaprl/theories/base/OMakefile
+1 -3	metaprl/theories/czf/OMakefile
+1 -3	metaprl/theories/experimental/compile/OMakefile
Properties	metaprl/theories/experimental/mcc/fir/type
Added	metaprl/theories/experimental/mcc/fir/type/OMakefile
Properties	metaprl/theories/experimental/mcc/fir/type/OMakefile
Added	metaprl/theories/experimental/mcc/fir/type/m_fir.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_fir.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_fir.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_fir.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_fir_term.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_fir_term.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_fir_term.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_fir_term.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_int.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_int.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_int.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_int.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_prec.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_prec.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_prec.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_prec.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_rawfloat.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_rawfloat.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_rawfloat.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_rawfloat.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_rawint.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_rawint.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_rawint.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_rawint.mli
Added	metaprl/theories/experimental/mcc/fir/type/m_set.ml
Properties	metaprl/theories/experimental/mcc/fir/type/m_set.ml
Added	metaprl/theories/experimental/mcc/fir/type/m_set.mli
Properties	metaprl/theories/experimental/mcc/fir/type/m_set.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/OMakefile
Deleted	metaprl/theories/experimental/mcc/fir/util/m_fir.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_fir.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_fir_term.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_fir_term.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_int.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_int.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_prec.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_prec.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_rawfloat.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_rawfloat.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_rawint.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_rawint.mli
Deleted	metaprl/theories/experimental/mcc/fir/util/m_set.ml
Deleted	metaprl/theories/experimental/mcc/fir/util/m_set.mli
+0 -2	metaprl/theories/fir/OMakefile
+1 -3	metaprl/theories/fol/OMakefile
+1 -3	metaprl/theories/itt/OMakefile
+1 -3	metaprl/theories/ocaml_doc/OMakefile
+1 -3	metaprl/theories/ocaml_sos/OMakefile
+1 -3	metaprl/theories/phobos/OMakefile
+1 -3	metaprl/theories/sil/OMakefile
+1 -3	metaprl/theories/tptp/OMakefile
+0 -2	metaprl/theories/tutorial/OMakefile
+0 -2	metaprl/util/OMakefile