Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-05-31 22:47:13 -0700 (Mon, 31 May 1999)
Revision: 2681
Log message:

      - Fixed a nasty bug in TermAddr.apply_var_fun_higher_bterms (both ds and std versions).
      Thanks to Carl R. Witty <cwitty@newtonlabs.com> for finding and fixing this one.
      
      - Added a warning to mp-install.html telling that MetaPRL is Beta and still has nasty bugs.
      
      - Added CVS read-write instructions:
      http://ensemble01.cs.cornell.edu:12000/cvsweb/~checkout~/meta-prl/doc/htmlman/mp-cvs-rw.html
      

Changes  Path
Added metaprl/doc/htmlman/mp-cvs-rw.html
Properties metaprl/doc/htmlman/mp-cvs-rw.html
+2 -2 metaprl/doc/htmlman/mp-install.html
+1 -1 metaprl/refiner/term_ds/term_addr_ds.ml
+1 -1 metaprl/refiner/term_gen/term_addr_gen.ml