Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1997-09-08 08:02:40 -0700 (Mon, 08 Sep 1997)
Revision: 2061
Log message:

      This version compiles Ensemble.
      

Changes	Path
+1 -0	metaprl/Makefile
+6 -1	metaprl/filter/prlcomp.ml
+4 -1	metaprl/filter/term_grammar.ml
Properties	metaprl/library
+42 -61	metaprl/library/Makefile
+1 -1	metaprl/library/basic.ml
+1 -1	metaprl/mk/config
+5 -2	metaprl/theories/itt/itt_logic.ml
+9 -4	metaprl/theories/rewrite/Makefile
+56 -10	metaprl/theories/rewrite/rw_beta.ml