[nogin] if you do not have _/.ssh/config, create one_ Mon Sep 19 02:19:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-05-259872000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-05-259872000-PDT.html [nogin] RedHat 6.x RPMs are now available at_ Mon Sep 19 02:19:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-05-587216000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-05-587216000-PDT.html [krupski] The correct order in Files_ Mon Sep 19 02:19:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-06-026865000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-06-026865000-PDT.html [krupski] The unifiable and unify_mm functions are inserted into TermSubst module_ Mon Sep 19 02:19:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-06-817898000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-06-817898000-PDT.html [krupski] The new interface for mm_unification._ Mon Sep 19 02:19:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-07-408241000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-07-408241000-PDT.html [krupski] The new interface for mm_unification, based on the abstract type eqnlist._ Mon Sep 19 02:19:07 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-07-980058000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-07-980058000-PDT.html [nogin] Use htmldoc __ 1.8.3_ Mon Sep 19 02:19:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-08-437706000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-12/2005-09-19-02-19-08-437706000-PDT.html