[nogin] Adding a fix that was missing from the previous commit._Mon Sep 19 04:54:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-12-560314000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-12-560314000-PDT.html[jyh] Added some example code for how we want new term_Mon Sep 19 04:54:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-13-091370000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-13-091370000-PDT.html[jyh] Added Filter_patt to prlc.cma_Mon Sep 19 04:54:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-14-758001000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-14-758001000-PDT.html[jyh] Updating filter/Makefile_Mon Sep 19 04:54:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-15-644269000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-15-644269000-PDT.html[jyh] Beginning the slow process of migrating MetaPRL toward libmojave._Mon Sep 19 04:54:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-16-002892000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-16-002892000-PDT.html[nogin] Implemented the __con_ ... __ quotation that is similar to __ ... __, but allows_Mon Sep 19 04:54:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-16-526601000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-16-526601000-PDT.html[nogin] Somehow my previous commit was incomplete._Mon Sep 19 04:54:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-18-234829000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-18-234829000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 04:54:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-18-665217000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-18-665217000-PDT.html[nogin] Explode_term must be a total function _we can not have tactics using_Mon Sep 19 04:54:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-35-236607000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-35-236607000-PDT.html[nogin] Depeting some unused code._Mon Sep 19 04:54:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-36-867384000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-36-867384000-PDT.html[jyh] This is partial progress toward abstract vars. This is a_Mon Sep 19 04:54:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-37-892475000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-37-892475000-PDT.html[jyh] I decided to finish the port to abstract vars anyway._Mon Sep 19 04:54:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-45-533603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-45-533603000-PDT.html[jyh] Added make support for the abstract vars branch._Mon Sep 19 04:54:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-49-909548000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-49-909548000-PDT.html[jyh] Migrated String_util and Mp_debug to libmojave versions._Mon Sep 19 04:54:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-50-940239000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-54-50-940239000-PDT.html[nogin] Minor fix for the filter_patt stuff._Mon Sep 19 04:55:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-05-932907000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-05-932907000-PDT.html[jyh] make opt should now work, except on theories/tpt, which is still need_Mon Sep 19 04:55:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-06-301182000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-06-301182000-PDT.html[jyh] More patches for _make opt__Mon Sep 19 04:55:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-06-783093000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-06-783093000-PDT.html[nogin] __con_ ... __ syntax__Mon Sep 19 04:55:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-07-431846000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-07-431846000-PDT.html[jyh] Moved Array_util to Lm_array_util._Mon Sep 19 04:55:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-08-115325000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-08-115325000-PDT.html[jyh] Changed the string representation of variables. The Lm_symbol.add_Mon Sep 19 04:55:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-09-733468000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-09-733468000-PDT.html[nogin] _ In Filter_ocaml, dest_var is supposed to return a string._Mon Sep 19 04:55:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-10-581217000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-10-581217000-PDT.html[nogin] _ Added Lm_symbol.make that takes an explicit string and an int._Mon Sep 19 04:55:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-11-120422000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-11-120422000-PDT.html[nogin] Backported some of the trunk changes back to the branch._Mon Sep 19 04:55:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-12-182894000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-12-182894000-PDT.html[nogin] _ Further cleaning up the Lm_symbol.add_s_Mon Sep 19 04:55:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-13-369687000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-13-369687000-PDT.html[nogin] Minor simplification of the generatod code for level params in __con_ ___Mon Sep 19 04:55:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-14-526869000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-14-526869000-PDT.html[jyh] This migrates much of the mllib code to libmojave._Mon Sep 19 04:55:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-14-918906000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-14-918906000-PDT.html[nogin] _ Removed the MVar parameter. Now the semantics of the variable parameters _Var__Mon Sep 19 04:55:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-24-922051000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-24-922051000-PDT.html[nogin] Got rid of RWVar constant parameter. Now Var parameters are _always__Mon Sep 19 04:55:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-33-718401000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-33-718401000-PDT.html[nogin] A bunch of minor fixes. I think I finally got display forms to work correctly_Mon Sep 19 04:55:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-34-528960000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-34-528960000-PDT.html[nogin] Revercing the last _branch_ change to these files _ now that the variable_Mon Sep 19 04:55:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-35-208264000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-35-208264000-PDT.html[nogin] Merging in the abstract_vars branch__Mon Sep 19 04:55:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-39-932017000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-55-39-932017000-PDT.html[nogin] Minor clean_up._Mon Sep 19 04:56:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-08-006855000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-08-006855000-PDT.html[nogin] _ Got rid of the LIBMOJAVE parameted in mk/config _just always use __ROOT_/libmojave__Mon Sep 19 04:56:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-18-502375000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-18-502375000-PDT.html[nogin] Got rid of the _arg_subst_ part of the tactic_arg _ we never used it, and_Mon Sep 19 04:56:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-20-213102000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-20-213102000-PDT.html[nogin] Tests needed to be translated to Lm_symbol as well._Mon Sep 19 04:56:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-20-988152000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-20-988152000-PDT.html[nogin] Simplified some code using the new _larger_ libmojave interfaces._Mon Sep 19 04:56:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-21-460824000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-21-460824000-PDT.html[nogin] _ Changed the ASCII_IO format to be a bit more flexible. This allowed_Mon Sep 19 04:56:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-22-201828000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-22-201828000-PDT.html[nogin] Removed some unused code._Mon Sep 19 04:56:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-23-153123000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-23-153123000-PDT.html[jyh] This migrates the set/map code to libmojave._Mon Sep 19 04:56:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-24-392957000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-24-392957000-PDT.html[jyh] Migrated more code into libmojave._Mon Sep 19 04:56:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-26-718456000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-26-718456000-PDT.html[nogin] _ Made the display_var a properly declared opname instead of a hacked _internal_ one._Mon Sep 19 04:56:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-31-488391000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-31-488391000-PDT.html[nogin] Lm_list_util should not inlcude things that already exist in List._Mon Sep 19 04:56:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-32-434758000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-32-434758000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 04:56:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-32-869939000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-32-869939000-PDT.html[nogin] This implements most of the context binding and scoping structure _as_Mon Sep 19 04:56:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-49-939254000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-49-939254000-PDT.html[jyh] Core_type_infer now compiles, though completely untested._Mon Sep 19 04:56:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-54-972068000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-54-972068000-PDT.html[jyh] Some minor changes._Mon Sep 19 04:56:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-55-913514000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-56-55-913514000-PDT.html[nogin] Moved some of the new functionality from Term_man to Term_meta _for the only_Mon Sep 19 04:57:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-02-750270000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-02-750270000-PDT.html[nogin] Added proper parsing for meta_terms and rule/rewrite arguments __ now the_Mon Sep 19 04:57:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-03-709481000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-03-709481000-PDT.html[nogin] The branch finally compiles_ Still TODO__Mon Sep 19 04:57:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-05-149952000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-05-149952000-PDT.html[nogin] _ Moved the find_subterm function from DTactic to TermAddr module _where it can_Mon Sep 19 04:57:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-05-946079000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-05-946079000-PDT.html[nogin] _ Made the TermShape module more tolerant _it will return something_Mon Sep 19 04:57:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-07-091160000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-07-091160000-PDT.html[nogin] Term_addr_ds needs to use get_core and look ate possible cases_ simply doing_Mon Sep 19 04:57:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-07-696678000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-07-696678000-PDT.html[nogin] Made sure TESTS_YES compiles._Mon Sep 19 04:57:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-08-284739000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-08-284739000-PDT.html[nogin] Rewriter is getting close to working correctly._Mon Sep 19 04:57:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-08-696187000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-08-696187000-PDT.html[nogin] Fixed a bunch of places where dest_term was called on _special_ terms._Mon Sep 19 04:57:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-09-475238000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-09-475238000-PDT.html[jyh] Added sequent support to pattern matching and explode_term._Mon Sep 19 04:57:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-10-412653000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-10-412653000-PDT.html[nogin] Bound contexts branch__Mon Sep 19 04:57:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-11-484786000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-11-484786000-PDT.html[jyh] Added sequents to __con_ ... __ quotation._Mon Sep 19 04:57:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-12-574764000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-12-574764000-PDT.html[nogin] Implemented the new parsing of SO vars contexts in the MetaPRL top loop __Mon Sep 19 04:57:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-13-268929000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-13-268929000-PDT.html[nogin] _ apply_all _that expand_all, status_all, etc_ use should actually chdir_Mon Sep 19 04:57:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-14-929472000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-14-929472000-PDT.html[nogin] Better version of apply_all._Mon Sep 19 04:57:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-15-797149000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-15-797149000-PDT.html[nogin] _ Restoring a display form that was missing._Mon Sep 19 04:57:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-16-262753000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-16-262753000-PDT.html[nogin] Switched the m_paper from sig_alternate to llncs._Mon Sep 19 04:57:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-16-821970000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-16-821970000-PDT.html[nogin] I am changing check_status to expect TESTS_yes instead of TESTS_no_Mon Sep 19 04:57:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-19-220910000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-19-220910000-PDT.html[nogin] Fixed a JProver bug that I accidentally introduced on July 3, 2001 _jall.ml rev 1.22__Mon Sep 19 04:57:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-20-667039000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-20-667039000-PDT.html[nogin] When going over a theory or theories _status_all/expand_all/etc_, throw_Mon Sep 19 04:57:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-21-879743000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-21-879743000-PDT.html[nogin] Fixed another JProver bug _this time _ in the ITT decoding of the JProver_Mon Sep 19 04:57:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-22-507787000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-22-507787000-PDT.html[nogin] Simplified some proofs._Mon Sep 19 04:57:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-29-464008000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-29-464008000-PDT.html[nogin] Fixed a few bugs on the branch._Mon Sep 19 04:57:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-38-388480000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-38-388480000-PDT.html[nogin] macro.ml should be compiled with __OCAMLC_, not ocamlc_Mon Sep 19 04:57:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-38-947589000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-38-947589000-PDT.html[nogin] Made the assumT_s _assumption __ assertion_ conversion algorithm a little_Mon Sep 19 04:57:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-39-339950000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-57-39-339950000-PDT.html[nogin] Gave jprover access to all assumptions _as opposed _ to a random subset,_Mon Sep 19 04:58:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-04-278270000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-04-278270000-PDT.html[nogin] Simplified some of the proofs._Mon Sep 19 04:58:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-32-610075000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-32-610075000-PDT.html[nogin] _ Now one can use withT to tell JProver with term to use as a canonical_Mon Sep 19 04:58:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-41-886748000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-41-886748000-PDT.html[nogin] Working on reducing the page count for the M paper. Not going too well so far..._Mon Sep 19 04:58:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-42-948709000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-42-948709000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 04:58:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-43-696515000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-43-696515000-PDT.html[nogin] Merged the bound_contexts branch with the latest trunk changes and re_branched._Mon Sep 19 04:58:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-59-758905000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-58-59-758905000-PDT.html[nogin] By default, return all meta_variables _including the SO vars_ in the set_Mon Sep 19 04:59:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-06-723987000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-06-723987000-PDT.html[nogin] Changed itt_logic to use explicit rule calls instead of dT and autoT_Mon Sep 19 04:59:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-07-500563000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-07-500563000-PDT.html[nogin] Killing the DoubleWeak testing module._Mon Sep 19 04:59:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-047310000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-047310000-PDT.html[emre] Cosmetic changes_ Fixing some spelling mistakes in the_Mon Sep 19 04:59:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-496795000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-496795000-PDT.html[nogin] I am getting really close on the branch _ 1419 out of 1448 proofs_Mon Sep 19 04:59:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-970145000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-08-970145000-PDT.html[nogin] Minor code clean_up._Mon Sep 19 04:59:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-10-584056000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-10-584056000-PDT.html[nogin] Minor error handling updates._Mon Sep 19 04:59:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-017370000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-017370000-PDT.html[emre] Fixing a formatting nit_pick in the parsing section, and_Mon Sep 19 04:59:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-508603000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-508603000-PDT.html[nogin] Two pages down, two to go._Mon Sep 19 04:59:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-952662000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-11-952662000-PDT.html[nogin] For some reason, unification code used __ instead of _ for comparing_Mon Sep 19 04:59:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-12-762748000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-12-762748000-PDT.html[nogin] Sequent.maybe_new_var should avoid all free variables, not just the ones_Mon Sep 19 04:59:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-13-192854000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-13-192854000-PDT.html[nogin] Minor fixes._Mon Sep 19 04:59:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-13-831420000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-13-831420000-PDT.html[nogin] expr ____ patt conversions need to be more general._Mon Sep 19 04:59:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-14-302361000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-14-302361000-PDT.html[nogin] ___ WARNING ____Mon Sep 19 04:59:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-14-756962000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-04-59-14-756962000-PDT.html[nogin] The previous commit deserves a new version number_Mon Sep 19 05:07:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-14-107198000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-14-107198000-PDT.html[nogin] _ Added an axiom thin_many that allowing thinning a whole range of hyps_Mon Sep 19 05:07:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-14-612212000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-14-612212000-PDT.html[nogin] Partial fix for bug 38 _ _root ___ top_loop command works again now._Mon Sep 19 05:07:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-27-568466000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-07/2005-09-19-05-07-27-568466000-PDT.html