[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