Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-05-27 00:55:33 -0700 (Thu, 27 May 1999)
Revision: 2676
Log message:

      Changed X' identifiers to X1 to avoid the preprocessor problem with the
      newer gcc and added a comment in the TODO file to restore this once the ML
      preprocessor is working.  Also, removed the *.ppo from the .cvsignore - I
      didn't realize that this problem left the .ppo file...
      

Changes	Path
+2 -2	metaprl/refiner/term_ds/term_addr_ds.ml
Properties	metaprl/refiner/term_gen
+3 -3	metaprl/refiner/term_gen/term_addr_gen.ml