[nogin] Documentation build system and references cleanup__Mon Sep 19 03:44:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-32-584455000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-32-584455000-PDT.html[xiny] Added the following definition for the list in _itt_list2___Mon Sep 19 03:44:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-45-900563000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-45-900563000-PDT.html[xiny] Fixed a grammar error._Mon Sep 19 03:44:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-54-293216000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-54-293216000-PDT.html[xiny] Fixed a typo._Mon Sep 19 03:44:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-54-680781000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-54-680781000-PDT.html[nogin] Adding the 3.06 patches. Still need to create the camlp4_3.06_plexer.patch_Mon Sep 19 03:44:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-55-040703000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-55-040703000-PDT.html[nogin] _ backThruHyp will now work for hypotheses of the form_Mon Sep 19 03:44:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-55-738189000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-55-738189000-PDT.html[nogin] Simplified the proof of itt_sort/insert_mem._Mon Sep 19 03:44:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-59-459778000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-44-59-459778000-PDT.html[nogin] A few mors proof updates._Mon Sep 19 03:45:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-00-221836000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-00-221836000-PDT.html[nogin] _ Added a few citations._Mon Sep 19 03:45:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-01-554352000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-01-554352000-PDT.html[yegor] Added term comparison and _partly_ multiplication support for arithT._Mon Sep 19 03:45:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-04-467648000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-04-467648000-PDT.html[nogin] Changed the wording of the copy_proof wraning. Instead of printing_Mon Sep 19 03:45:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-05-031854000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-05-031854000-PDT.html[nogin] _ Do not build the tutorial .ps/.pdf. First, the tutorial is just too_Mon Sep 19 03:45:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-05-458755000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-05-458755000-PDT.html[nogin] Correct location for Ocaml patches._Mon Sep 19 03:45:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-06-196533000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-06-196533000-PDT.html[nogin] MetaPRL files are now at http_//files.metaprl.org/, not at_Mon Sep 19 03:45:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-06-550851000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-06-550851000-PDT.html[yegor] Product_free expressions work fine now._Mon Sep 19 03:45:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-07-017360000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-07-017360000-PDT.html[nogin] Added a big warning not to use the mp.run Ocaml toploop for proof development._Mon Sep 19 03:45:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-29-504491000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2002-11/2005-09-19-03-45-29-504491000-PDT.html