Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-12-02 12:05:52 -0800 (Thu, 02 Dec 1999)
Revision: 2865
Log message:

      if you do not have ~/.ssh/config, create one
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-12-03 10:48:49 -0800 (Fri, 03 Dec 1999)
Revision: 2866
Log message:

      RedHat 6.x RPMs are now available at
      http://www.cs.cornell.edu/nogin/RPM/meta-prl/rh61/ByName.html
      
      Fixed a bug in Makefile
      

Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 1999-12-09 12:40:02 -0800 (Thu, 09 Dec 1999)
Revision: 2867
Log message:

      The correct order in Files
      

Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 1999-12-09 12:44:49 -0800 (Thu, 09 Dec 1999)
Revision: 2868
Log message:

      The unifiable and unify_mm functions are inserted into TermSubst module
      

Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 1999-12-11 16:50:15 -0800 (Sat, 11 Dec 1999)
Revision: 2869
Log message:

      The new interface for mm-unification.
      

Changes by: Vladimir N. Krupski (krupski at lpcs.math.msu.su)
Date: 1999-12-11 16:56:21 -0800 (Sat, 11 Dec 1999)
Revision: 2870
Log message:

      The new interface for mm-unification, based on the abstract type eqnlist.
      The tests are not completed.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-12-29 16:16:45 -0800 (Wed, 29 Dec 1999)
Revision: 2871
Log message:

      Use htmldoc >= 1.8.3