[nogin] Ran through the spell checker._ Mon Sep 19 02:18:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-46-943507000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-46-943507000-PDT.html [nogin] Moved the complete listing of the MetaPRL font from MetaPRL System Description_ Mon Sep 19 02:18:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-47-965404000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-47-965404000-PDT.html [nogin] Formatting fixes, several small updates._ Mon Sep 19 02:18:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-48-760561000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-48-760561000-PDT.html [nogin] Small fix_ Mon Sep 19 02:18:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-252128000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-252128000-PDT.html [nogin] Yet another small fix_ Mon Sep 19 02:18:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-594103000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-594103000-PDT.html [nogin] Added _make realclean_ target that uses CVS information and interactively removes_ Mon Sep 19 02:18:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-946502000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-49-946502000-PDT.html [nogin] Remove bin/convert on _make clean__ Mon Sep 19 02:18:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-50-322115000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-50-322115000-PDT.html [nogin] More links_ Mon Sep 19 02:18:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-50-654318000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-50-654318000-PDT.html [nogin] Another _small_ thing that we should be more careful about when compiling rewrites._ Mon Sep 19 02:18:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-51-014224000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-51-014224000-PDT.html [nogin] A simle implementation of data structure and functions for list permutations._ Mon Sep 19 02:18:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-51-409489000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-51-409489000-PDT.html [nogin] _ Edited the autoT section a little_ Mon Sep 19 02:18:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-52-380028000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-52-380028000-PDT.html [krupski] n_log n unifiability test_ Mon Sep 19 02:18:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-52-864240000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-52-864240000-PDT.html [krupski] The unify function is added into term_unif_ds. It unifies 2 terms and returnes a_ Mon Sep 19 02:18:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-53-665169000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-53-665169000-PDT.html [nogin] Added a warning about make 3.77 doing something wrong w.r.t dependencies_ Mon Sep 19 02:18:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-233762000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-233762000-PDT.html [nogin] Fixed Makefiles for _old_ theories._ Mon Sep 19 02:18:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-577614000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-577614000-PDT.html [nogin] Fixed some problems with TPTP._ Mon Sep 19 02:18:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-951622000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-54-951622000-PDT.html [nogin] ls takes flags string, not just unit._ Mon Sep 19 02:18:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-58-391797000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-58-391797000-PDT.html [nogin] Added debug_ascii_io_ Mon Sep 19 02:18:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-58-793529000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-58-793529000-PDT.html [nogin] More debugging._ Mon Sep 19 02:18:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-173352000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-173352000-PDT.html [nogin] Smaller factorial examples._ Mon Sep 19 02:18:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-543071000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-543071000-PDT.html [nogin] BUG 2.3 now includes__ Mon Sep 19 02:18:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-902478000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-18-59-902478000-PDT.html [nogin] Added a check that makes sure that a correct version of Ocaml and Camlp4_ Mon Sep 19 02:19:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-01-496473000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-01-496473000-PDT.html [nogin] Made MetaPRL compatible with ocaml_2.03/camlp4_2.03_ Mon Sep 19 02:19:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-01-946670000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-01-946670000-PDT.html [nogin] _ocamlmktop _v_ bug workaround._ Mon Sep 19 02:19:02 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-02-771693000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-02-771693000-PDT.html [nogin] Documented restriction that should we impose on internal manipulations on_ Mon Sep 19 02:19:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-03-189832000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-03-189832000-PDT.html [nogin] Updated the download documentation. Added a link to _The CVS Book_._ Mon Sep 19 02:19:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-03-721544000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-03-721544000-PDT.html [krupski] The TermSubstMm functor provides n_log n unifiability test_ Mon Sep 19 02:19:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-04-147141000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-04-147141000-PDT.html [nogin] Both Caml 2.04 and 2.03 may be used to compile MetaPRL_ Mon Sep 19 02:19:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-04-913928000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-11/2005-09-19-02-19-04-913928000-PDT.html