[yegor] Replaced append with rev_append and map with rev_map where possible._Mon Sep 19 06:51:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-51-57-808314000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-51-57-808314000-PDT.html[jyh] Minor font adjustments._Mon Sep 19 06:51:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-51-58-294740000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-51-58-294740000-PDT.html[nogin] _ Require OMake 0.9.4_Mon Sep 19 06:52:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-06-517397000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-06-517397000-PDT.html[nogin] The .DEFAULT target now includes a _test_metaprl_startup_ target which_Mon Sep 19 06:52:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-06-994817000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-06-994817000-PDT.html[jyh] Wow, finally commit those HOL files we did at TPHOLs._Mon Sep 19 06:52:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-07-510409000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-07-510409000-PDT.html[nogin] Minor _style_ changes to a few of the _manual_ intro resource enties._Mon Sep 19 06:52:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-08-158277000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-08-158277000-PDT.html[nogin] Minor code simplifcation_Mon Sep 19 06:52:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-08-733692000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-08-733692000-PDT.html[nogin] _ This changes how dT interacts with autoT. Now every entry in the intro_Mon Sep 19 06:52:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-09-557167000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-09-557167000-PDT.html[nogin] Imporved the display of sequents that is used in the absense of other dforms_Mon Sep 19 06:52:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-10-602008000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-10-602008000-PDT.html[nogin] Better indentation_Mon Sep 19 06:52:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-11-085086000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-11-085086000-PDT.html[nogin] _ The term match table now supports sequent pattenrs that have a single_Mon Sep 19 06:52:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-11-719352000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-11-719352000-PDT.html[nogin] Fixing a typo_Mon Sep 19 06:52:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-12-791132000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-12-791132000-PDT.html[jyh] Add an _is_closed_term_ function._Mon Sep 19 06:52:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-13-159193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-13-159193000-PDT.html[nogin] Some fixes in the _omake check_status_ rules_Mon Sep 19 06:52:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-14-205094000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-14-205094000-PDT.html[nogin] Bug 386 workaround for the _test_metaprl_startup_ target_Mon Sep 19 06:52:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-063689000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-063689000-PDT.html[nogin] Fixed a few issues related to handling of generated files in OMakefiles_Mon Sep 19 06:52:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-479421000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-479421000-PDT.html[nogin] The addr type should be kept abstract in this interface._Mon Sep 19 06:52:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-904281000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-15-904281000-PDT.html[nogin] A small change in the addr type implementation._Mon Sep 19 06:52:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-16-270028000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-16-270028000-PDT.html[nogin] Moved a couple of _Perv_ opname definitions into the Opname module_Mon Sep 19 06:52:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-16-870999000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-16-870999000-PDT.html[jyh] Added the conversion _findThenC test conv_ that find the outermost_Mon Sep 19 06:52:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-17-428790000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-17-428790000-PDT.html[jyh] Trying to figure out the rewriter bug._Mon Sep 19 06:52:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-18-905779000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-18-905779000-PDT.html[jyh] This addresses the problem with failed rewrites that_Mon Sep 19 06:52:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-20-128527000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-20-128527000-PDT.html[jyh] Forgot to remove the debugging print statements._Mon Sep 19 06:52:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-21-276487000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-21-276487000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:52:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-22-114618000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-22-114618000-PDT.html[jyh] This branch views the token parameter as an opname _see bug _370_,_Mon Sep 19 06:52:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-39-227875000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-39-227875000-PDT.html[jyh] Eliminated the .mlz files in refiner/refsig._Mon Sep 19 06:52:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-42-494772000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-42-494772000-PDT.html[jyh] Eliminate the .mlz files in filter/base_Mon Sep 19 06:52:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-42-969683000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-42-969683000-PDT.html[jyh] Initial opname class testing._Mon Sep 19 06:52:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-44-511916000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-44-511916000-PDT.html[jyh] This extends the term classification system._Mon Sep 19 06:52:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-46-514850000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-46-514850000-PDT.html[jyh] Some syntax changes._Mon Sep 19 06:52:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-48-728254000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-48-728254000-PDT.html[jyh] Added some new class tests in Syntax_test._Mon Sep 19 06:52:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-49-284073000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-49-284073000-PDT.html[jyh] Long parameter type names should be treated as token classes._Mon Sep 19 06:52:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-49-717263000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-49-717263000-PDT.html[jyh] I think that keeping track of the class information in signatures_Mon Sep 19 06:52:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-50-840853000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-50-840853000-PDT.html[jyh] Aleksey is right, we need to keep opname info in signatures._Mon Sep 19 06:52:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-52-098508000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-52-098508000-PDT.html[nogin] No_op_ minor code reordering_Mon Sep 19 06:52:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-53-059377000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-53-059377000-PDT.html[nogin] _Bug 382_ This patch__Mon Sep 19 06:52:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-53-507528000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-53-507528000-PDT.html[jyh] 1. Added some cases to refine_error._Mon Sep 19 06:52:58 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-58-517224000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-52-58-517224000-PDT.html[nogin] Tracking of the full set of bindings in redex match was a bit incomplete, fixing_Mon Sep 19 06:53:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-01-450406000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-01-450406000-PDT.html[jyh] Added checking to inline terms._Mon Sep 19 06:53:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-02-595219000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-02-595219000-PDT.html[nogin] This changes how the rewriter handles free variables in the term paramerers_Mon Sep 19 06:53:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-03-533853000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-03-533853000-PDT.html[nogin] _ Restructured the rewriter_related signatures a bit to make further changes_Mon Sep 19 06:53:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-04-990007000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-04-990007000-PDT.html[jyh] Global update to use token opnames instead of strings._Mon Sep 19 06:53:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-06-300521000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-06-300521000-PDT.html[jyh] Rewrites with tokens work fine, but the dtactic is not recognizing_Mon Sep 19 06:53:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-07-957958000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-07-957958000-PDT.html[nogin] No_op_ removed a number of unused _open_ statements_Mon Sep 19 06:53:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-08-372403000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-08-372403000-PDT.html[nogin] Make it easier to mix MetaPRL and non_MetaPRL .ml files in theories._Mon Sep 19 06:53:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-11-368614000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-11-368614000-PDT.html[nogin] I discovered than in each rule application, the rewriter was accessed _twice_._Mon Sep 19 06:53:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-12-146103000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-12-146103000-PDT.html[jyh] The rewriter needed a RewriteToken value in addition to_Mon Sep 19 06:53:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-12-579344000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-12-579344000-PDT.html[jyh] Added some display forms for the new declarations._Mon Sep 19 06:53:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-13-495834000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-13-495834000-PDT.html[nogin] Tweaked GC parameters a bit_Mon Sep 19 06:53:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-14-108738000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-14-108738000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:53:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-14-479386000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-14-479386000-PDT.html[nogin] Merged the opname_classes onto the trank and branched again, creating a fresh_Mon Sep 19 06:53:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-31-655651000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-31-655651000-PDT.html[jyh] Token types were not being checked._Mon Sep 19 06:53:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-39-520217000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-39-520217000-PDT.html[nogin] No_op_ simplified Tactic_boot module structure a bit_Mon Sep 19 06:53:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-40-070713000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-40-070713000-PDT.html[jyh] Added the kinding relation._Mon Sep 19 06:53:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-40-883581000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-40-883581000-PDT.html[nogin] Minor clean_up from Jason_Mon Sep 19 06:53:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-41-507919000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-41-507919000-PDT.html[jyh] This is a nop_commit. I just renamed Term_class to Term_ty, which_Mon Sep 19 06:53:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-42-840109000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-42-840109000-PDT.html[jyh] Changed the names in Filter_cache_fun__Mon Sep 19 06:53:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-45-400882000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-45-400882000-PDT.html[jyh] Forgot to add these two files._Mon Sep 19 06:53:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-46-991130000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-46-991130000-PDT.html[jyh] Added type checking for non_sequent contexts._Mon Sep 19 06:53:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-47-541359000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-47-541359000-PDT.html[jyh] Added the occurs_check._Mon Sep 19 06:53:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-48-569787000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-48-569787000-PDT.html[nogin] The single_conclusion patch was a bit buggy in Term_gen _TERMS _ std_, fixing._Mon Sep 19 06:53:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-49-051507000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-49-051507000-PDT.html[nogin] Removed some unused code_Mon Sep 19 06:53:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-49-539145000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-49-539145000-PDT.html[nogin] Reduced the number of things that are compiled with _linkall._Mon Sep 19 06:53:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-50-022576000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-50-022576000-PDT.html[jyh] Added sequent types _but no sequent type checking yet_._Mon Sep 19 06:53:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-50-578733000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-50-578733000-PDT.html[jyh] _ sequent_arg is no longer used except in the 0_arity form._Mon Sep 19 06:53:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-51-896193000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-53-51-896193000-PDT.html[jyh] _ Added initial sequent type checking._Mon Sep 19 06:54:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-22-022491000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-22-022491000-PDT.html[jyh] Added type checking for context arguments __H,J__, etc._Mon Sep 19 06:54:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-24-243256000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-24-243256000-PDT.html[jyh] Added checking of rules and rewrites._Mon Sep 19 06:54:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-26-125784000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-26-125784000-PDT.html[jyh] Move the term record definitions into Term_sig proper._Mon Sep 19 06:54:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-27-481480000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-27-481480000-PDT.html[nogin] I have started writing a module that would provide a _debug_ Refiner which_Mon Sep 19 06:54:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-29-069840000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-29-069840000-PDT.html[nogin] Made the order in subterm_addresses more consistent with term_ds_Mon Sep 19 06:54:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-29-635465000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-29-635465000-PDT.html[jyh] Make the Term_grammar produce terms of type _parsed_term_, which_Mon Sep 19 06:54:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-30-140339000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-30-140339000-PDT.html[jyh] Separated tokens from normal terms._Mon Sep 19 06:54:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-32-318195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-32-318195000-PDT.html[jyh] Upgrading mmc._Mon Sep 19 06:54:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-33-586797000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-33-586797000-PDT.html[nogin] Finished TermType, Term and most of TermOp_Mon Sep 19 06:54:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-35-400592000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-35-400592000-PDT.html[nogin] Finished TermOp_Mon Sep 19 06:54:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-36-687443000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-36-687443000-PDT.html[nogin] Finished TermAddr, working on TermMan_Mon Sep 19 06:54:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-37-214853000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-37-214853000-PDT.html[nogin] Finished TermMan_Mon Sep 19 06:54:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-37-814529000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-37-814529000-PDT.html[nogin] Finished TermSubst_Mon Sep 19 06:54:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-38-447624000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-38-447624000-PDT.html[nogin] Finished TermMeta_Mon Sep 19 06:54:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-39-080128000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-39-080128000-PDT.html[nogin] Removing the unused TermEval._Mon Sep 19 06:54:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-39-777498000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-39-777498000-PDT.html[nogin] Working on RefineError_Mon Sep 19 06:54:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-40-723432000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-40-723432000-PDT.html[nogin] Wrapped everything with an exception handler_Mon Sep 19 06:54:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-41-343043000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-41-343043000-PDT.html[nogin] Minor signature simplification_Mon Sep 19 06:54:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-43-186334000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-43-186334000-PDT.html[nogin] Finished Rewriter_Mon Sep 19 06:54:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-43-785342000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-43-785342000-PDT.html[nogin] Making progress with the Refine module_Mon Sep 19 06:54:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-44-390037000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-44-390037000-PDT.html[nogin] Finished the Refine module_Mon Sep 19 06:54:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-44-951219000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-44-951219000-PDT.html[nogin] The Refiner_debug module compiles now. It probably does not work yet, but_Mon Sep 19 06:54:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-45-675651000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-45-675651000-PDT.html[nogin] The output of the context_vars is interpreted as a set, so it should be_Mon Sep 19 06:54:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-46-267574000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-46-267574000-PDT.html[kopylov] Change definition of make_bterm_Mon Sep 19 06:54:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-47-063709000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-47-063709000-PDT.html[nogin] Minor optimization_Mon Sep 19 06:54:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-47-754210000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-47-754210000-PDT.html[nogin] Minor optimizations_Mon Sep 19 06:54:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-48-179281000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-48-179281000-PDT.html[jyh] Upgrading mmc._Mon Sep 19 06:54:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-48-667593000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-48-667593000-PDT.html[nogin] Minor fix in Refiner_debug_ shapes are expected to be __ in some cases_Mon Sep 19 06:54:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-51-344457000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-51-344457000-PDT.html[nogin] The integer tactics had some code that made some weird assumtions about how_Mon Sep 19 06:54:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-51-853142000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-51-853142000-PDT.html[jyh] Improved the error messages from the type checker._Mon Sep 19 06:54:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-52-422370000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-52-422370000-PDT.html[jyh] This changes the sequent_arg in mmc_base_judgment to the following__Mon Sep 19 06:54:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-53-528637000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-53-528637000-PDT.html[jyh] Ok, I_ve decided the semi_non_disjoint union scheme is the best._Mon Sep 19 06:54:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-54-649081000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-54-649081000-PDT.html[nogin] Phobos_print needs to use Lm_printf_Mon Sep 19 06:54:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-55-703520000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-55-703520000-PDT.html[jyh] Normalize types before unification._Mon Sep 19 06:54:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-56-187348000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-56-187348000-PDT.html[kopylov] Fix a broken proof_Mon Sep 19 06:54:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-57-151987000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-57-151987000-PDT.html[kopylov] Make 4 rules primitive._Mon Sep 19 06:54:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-59-747107000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-54-59-747107000-PDT.html[nogin] ocamldep needs to know abotu macropp_s _INCLUDE_ directives_Mon Sep 19 06:55:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-01-895012000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-01-895012000-PDT.html[nogin] Fixed a couple of REFINER_SIMPLE compilation errors_Mon Sep 19 06:55:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-02-409684000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-02-409684000-PDT.html[nogin] This is a somewhat significant change of the API for subterm addresses._Mon Sep 19 06:55:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-02-876228000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-02-876228000-PDT.html[nogin] _ Fixing some of the bugs introduced into the TERMS_ds by the recent _new_Mon Sep 19 06:55:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-14-452753000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-14-452753000-PDT.html[nogin] Minor optimization_Mon Sep 19 06:55:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-15-075184000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-15-075184000-PDT.html[nogin] Fixing another TERMS_std bug introduced yesterday_Mon Sep 19 06:55:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-15-496905000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-15-496905000-PDT.html[jyh] Packaging the type environment._Mon Sep 19 06:55:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-16-007541000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-16-007541000-PDT.html[jyh] Here is the plan__Mon Sep 19 06:55:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-17-141910000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-17-141910000-PDT.html[nogin] Fixing yet another TERMS_std bug related to yesterday_s address type change._Mon Sep 19 06:55:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-17-682047000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-17-682047000-PDT.html[nogin] Minor simplification_Mon Sep 19 06:55:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-18-184378000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-18-184378000-PDT.html[nogin] When the argl module is available in the distribution _outside of the packaged_Mon Sep 19 06:55:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-18-590464000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-18-590464000-PDT.html[nogin] Very basic deBruijn_like implementation of bound variables_Mon Sep 19 06:55:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-19-126400000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-19-126400000-PDT.html[kopylov] Add is_eq for variables_Mon Sep 19 06:55:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-19-758818000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-19-758818000-PDT.html[jyh] Preparing for non_canonical syntax types._Mon Sep 19 06:55:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-20-222036000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-20-222036000-PDT.html[jyh] On the branch__Mon Sep 19 06:55:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-20-806555000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-20-806555000-PDT.html[nogin] Oops, it should be __squash__, not __sloppy___Mon Sep 19 06:55:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-23-679032000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-23-679032000-PDT.html[nogin] Added tests for OpenSSL files on Windows. Yegor, could you please test__Mon Sep 19 06:55:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-24-099244000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-24-099244000-PDT.html[jyh] This is an intermediate commit._Mon Sep 19 06:55:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-24-531542000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-24-531542000-PDT.html[jyh] Added delayed type constraints._Mon Sep 19 06:55:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-26-094726000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-26-094726000-PDT.html[nogin] Minor API change._Mon Sep 19 06:55:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-26-869707000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-26-869707000-PDT.html[jyh] Whew, the rules in mmc_core_type_check.ml now type check._Mon Sep 19 06:55:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-27-424160000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-27-424160000-PDT.html[jyh] Lots of new typing declarations._Mon Sep 19 06:55:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-28-712866000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-28-712866000-PDT.html[jyh] I_m getting awfully tired to typing declare statements twice._Mon Sep 19 06:55:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-31-805547000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-31-805547000-PDT.html[jyh] More progress on mmc._Mon Sep 19 06:55:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-32-553059000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-32-553059000-PDT.html[jyh] Hypotheses have existential type, not universal._Mon Sep 19 06:55:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-33-841130000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-33-841130000-PDT.html[kopylov] Add a basic theory for operators_Mon Sep 19 06:55:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-35-464688000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-35-464688000-PDT.html[nogin] Improved the API after some discussions with Xin and Alexei_Mon Sep 19 06:55:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-35-986288000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-35-986288000-PDT.html[kopylov] synt_term_Mon Sep 19 06:55:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-36-562535000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-36-562535000-PDT.html[kopylov] synt_term_Mon Sep 19 06:55:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-37-041545000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-37-041545000-PDT.html[nogin] Script for generating Refiner_debug.re_of_re1 code._Mon Sep 19 06:55:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-39-441939000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-39-441939000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:55:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-39-925819000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-39-925819000-PDT.html[nogin] Before running the script, standardize the environment a bit._Mon Sep 19 06:55:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-42-676071000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-42-676071000-PDT.html[] This commit was manufactured by cvs2svn to create branch_Mon Sep 19 06:55:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-43-088202000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-55-43-088202000-PDT.html[nogin] Merged the opname_classes2 branch with the trunk changes._Mon Sep 19 06:56:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-00-322507000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-00-322507000-PDT.html[nogin] Removing some of the junk I just added._Mon Sep 19 06:56:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-44-454088000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-44-454088000-PDT.html[nogin] Base_reflection_sequent_arg_Base_reflection_bterm_ __ Base_reflection_bterm_Mon Sep 19 06:56:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-44-943524000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-44-943524000-PDT.html[nogin] Removing a temporary hack _that was commented out anyway__Mon Sep 19 06:56:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-46-335238000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-46-335238000-PDT.html[nogin] Should we use the shortener when displaying tokens__Mon Sep 19 06:56:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-46-856754000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-46-856754000-PDT.html[nogin] Restored the original version numbers that were _accidentally__ shadowed._Mon Sep 19 06:56:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-47-323063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-01/2005-09-19-06-56-47-323063000-PDT.html