[yegor] _Hopefully_ all cases covered._ Mon Sep 19 05:50:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-50-49-870457000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-50-49-870457000-PDT.html [yegor] Removed all tryT, switched off debug output_ Mon Sep 19 05:55:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-15-147054000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-15-147054000-PDT.html [yegor] _Do not re_assert same thing more than once_ _ added but disabled due to_ Mon Sep 19 05:55:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-15-603796000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-15-603796000-PDT.html [yegor] _Do not re_assert same thing more than once_ _ enabled,_ Mon Sep 19 05:55:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-093527000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-093527000-PDT.html [yegor] Some wf_goals are asserted to avoid re_proving them many times._ Mon Sep 19 05:55:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-527709000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-527709000-PDT.html [yegor] thenAT tac does not apply tac to subgoals with empty label anymore._ Mon Sep 19 05:55:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-991569000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-16-991569000-PDT.html [nogin] When chdir fails, make the best effort to put things back where they were._ Mon Sep 19 05:55:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-17-360897000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-17-360897000-PDT.html [nogin] Display the status of the current node _e.g. the status of the proof generated_ Mon Sep 19 05:55:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-17-756808000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-17-756808000-PDT.html [nogin] Removed the bound_vars function and all the places that used it _for no good_ Mon Sep 19 05:55:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-18-379439000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-18-379439000-PDT.html [xiny] Temporary solution for solve the incompleteness of rule _int_div_rem_._ Mon Sep 19 05:55:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-19-169611000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-19-169611000-PDT.html [nogin] Adding a slightly more conservative version of nat_is_int_ Mon Sep 19 05:55:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-31-886292000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-31-886292000-PDT.html [nogin] _ For prim rules, check whether the specified extract is _universal_._ Mon Sep 19 05:55:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-33-088797000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-33-088797000-PDT.html [nogin] Fixing the extract specs for the prim rules. I am not sure what the correct_ Mon Sep 19 05:55:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-36-701984000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-36-701984000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:55:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-37-797247000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-37-797247000-PDT.html [yegor] 1.arith _ Aleksey_s suggestions implemented but not really used yet._ Mon Sep 19 05:55:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-39-429409000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-39-429409000-PDT.html [n8gray] Took the first step in implementing recursive sequents._ Mon Sep 19 05:55:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-40-649433000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-40-649433000-PDT.html [yegor] This might return the status_check time to _normal_ or even improve it._ Mon Sep 19 05:55:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-41-387995000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-41-387995000-PDT.html [yegor] Hopefully this will fix all the proofs broken by previous two commits._ Mon Sep 19 05:55:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-41-814025000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-41-814025000-PDT.html [yegor] Proved lemmas that were introduced yesterday._ Mon Sep 19 05:55:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-42-204642000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-55-42-204642000-PDT.html [yegor] Were too careless in applying normalizeC_ Mon Sep 19 05:56:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-23-756915000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-23-756915000-PDT.html [yegor] all occurences of dT in arithT replaced with explicit rules._ Mon Sep 19 05:56:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-24-152995000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-24-152995000-PDT.html [yegor] Introduced one small resource arith_unfold _ it does all rewrites which are not_ Mon Sep 19 05:56:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-48-056064000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-48-056064000-PDT.html [n8gray] Converted to recursive sequents. build_HypBinding could be simplified if_ Mon Sep 19 05:56:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-48-616115000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-48-616115000-PDT.html [yegor] Moved whole normalizeC to arith_unfold resource. Though some rewrites_ Mon Sep 19 05:56:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-104624000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-104624000-PDT.html [yegor] Bug fix for previous rewrite_ one more rewrite added __a_ ____ __1__a_ Mon Sep 19 05:56:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-543740000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-543740000-PDT.html [yegor] Bug fix to a bug fix _ accidentally erased one character in a _wrong place_._ Mon Sep 19 05:56:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-927199000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-49-927199000-PDT.html [n8gray] Efficiency improvements suggested by Aleksey._ Mon Sep 19 05:56:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-50-308797000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-50-308797000-PDT.html [yegor] Cleaning up all unused code left after yesterday commits,_ Mon Sep 19 05:56:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-50-900250000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-56-50-900250000-PDT.html [nogin] A bit more effort to maintain sharing._ Mon Sep 19 05:57:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-15-955011000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-15-955011000-PDT.html [yegor] Removed old interface._ Mon Sep 19 05:57:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-16-389954000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-16-389954000-PDT.html [n8gray] Convert to recursive sequents._ Mon Sep 19 05:57:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-16-815200000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-16-815200000-PDT.html [n8gray] Convert to recursive sequents._ Mon Sep 19 05:57:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-17-288478000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-17-288478000-PDT.html [n8gray] Fixed potential capture bug involving substitution through sequents._ Mon Sep 19 05:57:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-18-634747000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-18-634747000-PDT.html [n8gray] Changing an anonymous function into a named function._ Mon Sep 19 05:57:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-044680000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-044680000-PDT.html [nogin] Inline the folding to make it tail_recursive and minimize the allocations__ Mon Sep 19 05:57:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-470491000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-470491000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:57:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-908474000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-19-908474000-PDT.html [nogin] This is a new approach to implementing recursive sequents _as discussed_ Mon Sep 19 05:57:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-35-501840000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-35-501840000-PDT.html [nogin] Top_conversionals.apply_rewrite should use tactic_arg, not bookmark as an input._ Mon Sep 19 05:57:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-36-960165000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-36-960165000-PDT.html [nogin] Added an nth_hyp resource. Any axiom _e.g. assumption_free rule_ of the form_ Mon Sep 19 05:57:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-37-457214000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-37-457214000-PDT.html [lolorigo] updated jprover and metaprl connections to fdl_ Mon Sep 19 05:57:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-43-151861000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-43-151861000-PDT.html [lolorigo] changed mathbus registry so that it is only parsed and loaded when needed_ Mon Sep 19 05:57:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-43-845141000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-43-845141000-PDT.html [nogin] A follow_up to the previous nthHypT commit _ I simplified a few things._ Mon Sep 19 05:57:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-44-658147000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-44-658147000-PDT.html [yegor] Normalize only contradictory subset of all inequalities._ Mon Sep 19 05:57:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-54-893299000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-54-893299000-PDT.html [nogin] Removing unused _open_ directives._ Mon Sep 19 05:57:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-55-411712000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-55-411712000-PDT.html [yegor] Added an artificial example _testn_ to check usefulness of my yesterday commit._ Mon Sep 19 05:57:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-56-285223000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-57-56-285223000-PDT.html [yegor] Some lemmas on the way to integer support in SupInf._ Mon Sep 19 05:58:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-58-24-330967000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-58-24-330967000-PDT.html [yegor] 1.previous fix for thenAT behaviour was not complete._ Mon Sep 19 05:58:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-58-43-925868000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-58-43-925868000-PDT.html [yegor] forgot to include__ Mon Sep 19 05:59:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-54-917399000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-54-917399000-PDT.html [yegor] itt_int_arith_ added _cacheT info tac_ which runs tac once,_ Mon Sep 19 05:59:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-57-373277000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-57-373277000-PDT.html [yegor] Just want to make arithT to work correctly with cacheT_ Mon Sep 19 05:59:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-58-450871000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-58-450871000-PDT.html [yegor] Forgot to remove debugging messages._ Mon Sep 19 05:59:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-59-177452000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-05-59-59-177452000-PDT.html [yegor] Removing cacheT from arithT because it does not give any noticable performance boost._ Mon Sep 19 06:00:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-00-05-448126000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-00-05-448126000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 06:00:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-00-08-011960000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-00-08-011960000-PDT.html [yegor] I don_t know why it refers to _cygwin32_, on my computer OSTYPE is _cygwin_._ Mon Sep 19 06:04:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-029730000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-029730000-PDT.html [nogin] Minor change_ I believe that we need to keep the _local_ contexts intact_ Mon Sep 19 06:04:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-445273000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-445273000-PDT.html [nogin] Minor documentation fix._ Mon Sep 19 06:04:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-896913000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-04-59-896913000-PDT.html [nogin] More docummentation fixes._ Mon Sep 19 06:05:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-00-346319000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-00-346319000-PDT.html [nogin] More minor doccumentation fixes._ Mon Sep 19 06:05:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-00-798269000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-00-798269000-PDT.html [nogin] Yet more docummentation fixes._ Mon Sep 19 06:05:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-01-243256000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-01-243256000-PDT.html [yegor] testn is now complete _if arithT succeeds__ Mon Sep 19 06:05:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-01-621899000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-01-621899000-PDT.html [yegor] This commit partly solves problem the bug 159 though it could be incorrect,_ Mon Sep 19 06:05:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-45-678984000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-45-678984000-PDT.html [nogin] ____________________________________________ Mon Sep 19 06:05:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-48-305987000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-48-305987000-PDT.html [nogin] Removed a bunch of unsed modules _a small portion of filter_ast that was still_ Mon Sep 19 06:05:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-49-275898000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-49-275898000-PDT.html [nogin] Removing some more ref_parent _ related code._ Mon Sep 19 06:05:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-52-454955000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-52-454955000-PDT.html [nogin] This is just code clean_up and should be a no_op__ Mon Sep 19 06:05:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-53-293251000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-53-293251000-PDT.html [nogin] Replaced a number of _with __ with more specific exeption matches,_ Mon Sep 19 06:05:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-54-029540000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-54-029540000-PDT.html [nogin] Even when the domain of a substitution happens to clash with the name_ Mon Sep 19 06:05:54 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-54-775655000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-54-775655000-PDT.html [nogin] Old .prla file generate Proof_boot.io_proof_of_proof warnings, which is probably OK._ Mon Sep 19 06:05:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-55-310333000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-55-310333000-PDT.html [nogin] Keep FO variables as FO variable _not as a wwildcard pattern_ in a term table._ Mon Sep 19 06:05:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-55-794848000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-55-794848000-PDT.html [nogin] _ Turned a few primitive rules into interactive._ Mon Sep 19 06:05:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-56-321223000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-56-321223000-PDT.html [nogin] Use the Term_match_table_s built_in resource creator instead of building_ Mon Sep 19 06:05:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-58-203006000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-05-58-203006000-PDT.html [yegor] Changed normalization rewrite from top_down to bottom_up strategy._ Mon Sep 19 06:06:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-06-16-335011000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2004-02/2005-09-19-06-06-16-335011000-PDT.html