[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