[nogin] _ Bug clean_up of the Refine module_ removed a lot of stuff from the_Mon Sep 19 04:52:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-06-824683000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-06-824683000-PDT.html[nogin] Added a conversion from the _high_level_ _filter/boot directory_ proof_Mon Sep 19 04:52:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-08-201298000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-08-201298000-PDT.html[nogin] _ Added a call_back interface to allow refiner to get ahold of the proof tree_Mon Sep 19 04:52:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-12-447515000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-12-447515000-PDT.html[nogin] Include the module name in error messages, not just the item name._Mon Sep 19 04:52:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-13-318582000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-13-318582000-PDT.html[nogin] _ Fixed a few extracts on primitive rules._Mon Sep 19 04:52:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-13-748993000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-13-748993000-PDT.html[nogin] Simplified the [un]zip_mimplies interface._Mon Sep 19 04:52:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-18-921640000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-18-921640000-PDT.html[nogin] The bvar list in rewriter was being built in reverse order, have no idea why. Fixed._Mon Sep 19 04:52:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-19-503146000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-19-503146000-PDT.html[nogin] A number of extract fixes._Mon Sep 19 04:52:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-44-779073000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-44-779073000-PDT.html[nogin] Term extraction from proofs finally works________________________________Mon Sep 19 04:52:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-45-484260000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-52-45-484260000-PDT.html[nogin] Minor updates to m_paper headers._Mon Sep 19 04:53:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-25-506112000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-25-506112000-PDT.html[nogin] Adding a capital lambda._Mon Sep 19 04:53:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-27-240530000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-27-240530000-PDT.html[nogin] Added Omega_Mon Sep 19 04:53:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-27-661601000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-27-661601000-PDT.html[nogin] Switching to dvipdfm and forcing the letter paper size._Mon Sep 19 04:53:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-28-623406000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-28-623406000-PDT.html[jyh] Some minor changes to the paper._Mon Sep 19 04:53:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-30-163680000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-30-163680000-PDT.html[nogin] New M_paper title._Mon Sep 19 04:53:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-30-896937000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-30-896937000-PDT.html[nogin] Changed the display for subscripting/assignment to use e.[e] instead of just e[e]_Mon Sep 19 04:53:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-32-183967000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-32-183967000-PDT.html[nogin] Addressed a few comments by the first reviewer. I think I am close to being_Mon Sep 19 04:53:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-32-723450000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-32-723450000-PDT.html[nogin] Version to be submitted to MERLIN._Mon Sep 19 04:53:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-33-233566000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-33-233566000-PDT.html[] This commit was manufactured by cvs2svn to create tag_Mon Sep 19 04:53:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-33-604967000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-33-604967000-PDT.html[nogin] Added _during the last CS101 lecture_ a _smallest_element_ theorem_Mon Sep 19 04:53:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-52-198978000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-52-198978000-PDT.html[nogin] Typeinf types no longer need to be in tactic_boot_sig_Mon Sep 19 04:53:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-56-125780000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-56-125780000-PDT.html[jyh] Added a _simple_ type inference resource._Mon Sep 19 04:53:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-56-624062000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-56-624062000-PDT.html[nogin] Fixing display form for the ML rewrites._Mon Sep 19 04:53:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-57-811442000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-57-811442000-PDT.html[nogin] Adding a version number to cmiz/cmoz/prla/prlb files._Mon Sep 19 04:53:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-58-272308000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-58-272308000-PDT.html[nogin] Sequent args in the tests directory were outdated._Mon Sep 19 04:53:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-59-951595000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-53-59-951595000-PDT.html[nogin] In filter, I implemented exdplicit PRL bindings, so that embedding of terms and_Mon Sep 19 04:54:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-00-836004000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-00-836004000-PDT.html[nogin] Display forms for the new PRL bindings._Mon Sep 19 04:54:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-03-145956000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-03-145956000-PDT.html[nogin] Automatically remove all .prlb on _realclean_._Mon Sep 19 04:54:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-03-658307000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-03-658307000-PDT.html[jyh] Minor omake changes._Mon Sep 19 04:54:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-04-772634000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-04-772634000-PDT.html[jyh] Decided to commit the extraction_disabling code, until we get it working._Mon Sep 19 04:54:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-05-215043000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-05-215043000-PDT.html[nogin] Moved all the term/mterm _of_string_ calls into one big _of_string_ unmarshalling_Mon Sep 19 04:54:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-05-900970000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-05-900970000-PDT.html[jyh] In addition to marshaling terms and meta_terms in Aleksey_s last_Mon Sep 19 04:54:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-06-751518000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-06-751518000-PDT.html[jyh] Added nums to the _binding_ mechanism defined in Filter_util._Mon Sep 19 04:54:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-07-344862000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-07-344862000-PDT.html[nogin] Deleting some code that was added during a recent attempt to make the extraction work._Mon Sep 19 04:54:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-08-741541000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-08-741541000-PDT.html[jyh] Added initial internal support for term patterns. It turns out_Mon Sep 19 04:54:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-09-877067000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-09-877067000-PDT.html[jyh] Initial implementation of pattern matching._Mon Sep 19 04:54:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-10-536652000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-06/2005-09-19-04-54-10-536652000-PDT.html