Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-06-25 18:55:03 -0700 (Fri, 25 Jun 1999)
Revision: 2759
Log message:

      \newcommand{\message}{Mazal Tov}
      
      The last \message was too early,
      this one is OK: \message.
      
      By this commit we're completely CPP-free.
      

Changes	Path
+0 -5	metaprl/mk/rules
+1 -1	metaprl/refiner/refsig/Makefile
+49 -47	metaprl/refiner/refsig/term_base_minimal_sig.ml
+147 -146	metaprl/refiner/refsig/term_hash_sig.ml