[nogin] Added _I am stuck where I should not be_ error reporting to Naming and CPS._Mon Sep 19 06:06:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-17-629802000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-17-629802000-PDT.html[nogin] Minor clean_up._Mon Sep 19 06:06:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-21-833308000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-21-833308000-PDT.html[nogin] Make sure a free variable does not get captured by a context._Mon Sep 19 06:06:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-22-409293000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-22-409293000-PDT.html[nogin] Allow repeating contexts in redeces _bug 165_._Mon Sep 19 06:06:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-22-859285000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-22-859285000-PDT.html[nogin] One of the optimizations I_ve added a few hours ago was not right _ removing it._Mon Sep 19 06:06:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-23-623714000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-23-623714000-PDT.html[jyh] Added an mcc_main.ml file as the outermost compiler._Mon Sep 19 06:06:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-23-986310000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-23-986310000-PDT.html[jyh] Updated caml_mode to handle quotations correctly._Mon Sep 19 06:06:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-26-745600000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-26-745600000-PDT.html[nogin] Minor clean_up._Mon Sep 19 06:06:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-27-254528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-27-254528000-PDT.html[nogin] Cleaned up the _extends_ directives a bit._Mon Sep 19 06:06:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-27-692708000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-27-692708000-PDT.html[nogin] Removing the distinction between the Hypothesis and HypBinding _ it was_Mon Sep 19 06:06:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-29-507703000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-29-507703000-PDT.html[nogin] Bug 165_ Added support for alpha_renaming/alpha_conversion when matching_Mon Sep 19 06:06:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-32-580500000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-32-580500000-PDT.html[nogin] Do not be to quick to erase unused hypothesis bindings at parse time._Mon Sep 19 06:06:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-33-109728000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-33-109728000-PDT.html[nogin] _ Bug 159_ allow context arguments in rewrites _but not in ML rewrites_._Mon Sep 19 06:06:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-34-477402000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-34-477402000-PDT.html[natasha] Initial revision_Mon Sep 19 06:06:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-35-880236000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-35-880236000-PDT.html[] This commit was manufactured by cvs2svn to create branch _cic_._Mon Sep 19 06:06:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-36-527077000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-36-527077000-PDT.html[] This commit was manufactured by cvs2svn to create tag _start_._Mon Sep 19 06:06:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-38-039818000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-38-039818000-PDT.html[nogin] Partial support for fully qualified resource names._Mon Sep 19 06:06:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-38-989412000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-38-989412000-PDT.html[nogin] Use proper formatting for Invalid_argument and Failure exceptions._Mon Sep 19 06:06:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-39-503878000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-39-503878000-PDT.html[nogin] In cpsC, repeat at each node as many times as necessary before descending_Mon Sep 19 06:06:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-39-919740000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-39-919740000-PDT.html[nogin] Adding support for patterns that match _free_ FO variables._Mon Sep 19 06:06:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-43-430607000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-43-430607000-PDT.html[nogin] _ Correcting the .ppo .SCANNER rule._Mon Sep 19 06:06:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-49-370655000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-49-370655000-PDT.html[nogin] In the _prl _omake mode, the ocamldep produces dependencies for both_Mon Sep 19 06:06:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-50-473178000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-50-473178000-PDT.html[nogin] ___ WARNING_ With this commit, MetaPRL now requires omake __ 0.7.10 ____Mon Sep 19 06:06:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-53-625402000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-53-625402000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:06:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-55-716840000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-06-55-716840000-PDT.html[nogin] This is a first draft of the new implementation for the Term_match_table module._Mon Sep 19 06:07:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-11-679683000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-11-679683000-PDT.html[nogin] Adding Cristian_s theories/mojave/extensions/test_Mon Sep 19 06:07:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-12-923041000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-12-923041000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:07:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-13-311054000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-13-311054000-PDT.html[nogin] First pass at migrating the display forms to the new table code._Mon Sep 19 06:07:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-13-648832000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-13-648832000-PDT.html[nogin] Simplified the interface a bit._Mon Sep 19 06:07:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-14-829947000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-14-829947000-PDT.html[nogin] A few minor changes__Mon Sep 19 06:07:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-16-602819000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-16-602819000-PDT.html[nogin] In the map case, use _term __ term list_ rewriter maps instead of just_Mon Sep 19 06:07:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-17-200670000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-17-200670000-PDT.html[yegor] normalizeC_ two complicated conversionals were split into individual slots of arith_unfold resource._Mon Sep 19 06:07:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-22-881235000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-22-881235000-PDT.html[nogin] _ Finished implementing an Mp_resource_based dforms management mechanism._Mon Sep 19 06:07:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-23-533787000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-23-533787000-PDT.html[yegor] This should fix broken proofs._Mon Sep 19 06:07:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-24-499694000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-24-499694000-PDT.html[yegor] Slight speed improvement._Mon Sep 19 06:07:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-25-007401000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-25-007401000-PDT.html[nogin] Adding _I ../../theories/mojave/extensions/tuple._Mon Sep 19 06:07:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-28-426293000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-28-426293000-PDT.html[nogin] _ Changed the dtactic module to use the new API_Mon Sep 19 06:07:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-29-341684000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-29-341684000-PDT.html[nogin] First attempt at adding sequent matching to the table. Completely untested_Mon Sep 19 06:07:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-31-418865000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-31-418865000-PDT.html[nogin] Fixed a few minot bugs. Things still appear to act very differently._Mon Sep 19 06:07:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-31-929202000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-31-929202000-PDT.html[nogin] The default value for the thinning arg is true, not false._Mon Sep 19 06:07:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-32-343802000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-32-343802000-PDT.html[nogin] Fixing the bytecode compilation problem._Mon Sep 19 06:07:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-32-724268000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-32-724268000-PDT.html[nogin] Fixed the sequent matching code._Mon Sep 19 06:07:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-33-130838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-33-130838000-PDT.html[nogin] Removing a redundant entry from autoT._Mon Sep 19 06:07:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-33-545184000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-33-545184000-PDT.html[nogin] Added a few missing dependencies. This should finally fix bug 98._Mon Sep 19 06:07:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-41-582158000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-41-582158000-PDT.html[jyh] This is an initial commit of the x86_backend utilities. This includes_Mon Sep 19 06:07:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-41-978508000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-41-978508000-PDT.html[nogin] Updated to do the symlinks correctly._Mon Sep 19 06:07:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-43-028317000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-43-028317000-PDT.html[nogin] Changed the dT back from that _full fail_through_ back ot only trying the_Mon Sep 19 06:07:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-43-484399000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-07-43-484399000-PDT.html[nogin] ___ WARNING _ This commit breaks the .prlb compativility. ____Mon Sep 19 06:08:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-08-51-855619000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-08-51-855619000-PDT.html[n8gray] All the parts are complete, now we just need to hook them together._Mon Sep 19 06:11:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-11-58-319199000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-11-58-319199000-PDT.html[nogin] Updated the sequent printout in _raw_ mode._Mon Sep 19 06:12:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-00-041394000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-00-041394000-PDT.html[natasha] commit of all changes before major update_Mon Sep 19 06:12:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-00-462734000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-00-462734000-PDT.html[nogin] Fixing a few issues with how the theory hierarchy is managed_Mon Sep 19 06:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-01-907528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-01-907528000-PDT.html[nogin] Eliminated the last _hopefully_ source of dups in the Mp_resource_Mon Sep 19 06:12:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-02-501319000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-02-501319000-PDT.html[jyh] Proper code generation for Ext_int_test.test1. To see the code, run_Mon Sep 19 06:12:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-02-976310000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-02-976310000-PDT.html[jyh] The standardize code now handles sequents too._Mon Sep 19 06:12:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-04-634886000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-04-634886000-PDT.html[n8gray] 1. Fixed some bugs in bools and ints._Mon Sep 19 06:12:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-07-103291000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-07-103291000-PDT.html[n8gray] Forgot to fix this for the new directory structure._Mon Sep 19 06:12:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-08-635882000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-08-635882000-PDT.html[nogin] Added support for sequents to the Phobos .pho grammar file parser._Mon Sep 19 06:12:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-09-036542000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-09-036542000-PDT.html[jyh] Register allocation seems to do something sensible on test2._Mon Sep 19 06:12:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-11-182309000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-11-182309000-PDT.html[natasha] First compilable version _with some workaround of bug175__Mon Sep 19 06:12:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-11-651161000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-11-651161000-PDT.html[jyh] Commit the .jyh script hack. Someday we will enable standalone_Mon Sep 19 06:12:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-12-366406000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-12-366406000-PDT.html[nogin] Updating the list of the implicit _prl mode dependencies._Mon Sep 19 06:12:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-12-761386000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-12-761386000-PDT.html[natasha] rules.ml split into_Mon Sep 19 06:12:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-13-149408000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-13-149408000-PDT.html[nogin] Created a partial Phobos grammar for the Mojave language _a number_Mon Sep 19 06:12:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-15-782004000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-15-782004000-PDT.html[jyh] Yay, our first program _ext_int_test/test2_ compiles, runs, and_Mon Sep 19 06:12:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-16-626734000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-16-626734000-PDT.html[jyh] The hoist phase now lifts out closed functions correctly._Mon Sep 19 06:12:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-19-391057000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-19-391057000-PDT.html[nogin] Minor clean_up._Mon Sep 19 06:12:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-21-553642000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-21-553642000-PDT.html[nogin] Changed the algorithms used for computing the Id hash value__Mon Sep 19 06:12:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-22-242960000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-22-242960000-PDT.html[yegor] Interface of removed rules.ml should also be removed_Mon Sep 19 06:12:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-22-835587000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-22-835587000-PDT.html[nogin] Switched all of core_test and more of ext_int_test _including the_Mon Sep 19 06:12:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-23-941374000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-23-941374000-PDT.html[jyh] . Mainly a minor cleanup to make the code clearer._Mon Sep 19 06:12:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-24-616535000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-24-616535000-PDT.html[yegor] It_s a first step towards resource_driven selection of hypotheses _and rules__Mon Sep 19 06:12:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-31-116653000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-31-116653000-PDT.html[nogin] Regenerating the .prla hoping that it would _scare off_ this particular_Mon Sep 19 06:12:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-31-952002000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-31-952002000-PDT.html[nogin] Fixing the code that was supposed to complain if more then one rule/rewrite/etc_Mon Sep 19 06:12:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-34-160406000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-34-160406000-PDT.html[nogin] Adding tail_call optimizations. This makes the asm.s file for the test_fact_Mon Sep 19 06:12:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-35-001202000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-35-001202000-PDT.html[nogin] A number of display form updates._Mon Sep 19 06:12:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-36-481606000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-36-481606000-PDT.html[nogin] Further attempts to make display forms in the Mojave theory nicer._Mon Sep 19 06:12:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-37-023412000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2004-03/2005-09-19-06-12-37-023412000-PDT.html