[kopylov] Fixed some comments_Mon Sep 19 07:10:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-27-520721000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-27-520721000-PDT.html[kopylov] More theorems_Mon Sep 19 07:10:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-081408000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-081408000-PDT.html[kopylov] Added a definition__Mon Sep 19 07:10:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-464762000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-464762000-PDT.html[kopylov] Fixed theorems in the lambda example. Now, I belive, all theorems there should be provable. I_ll try to prove them_Mon Sep 19 07:10:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-865107000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-28-865107000-PDT.html[jyh] Use omake to construct the final mmc theory._Mon Sep 19 07:10:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-29-259907000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-29-259907000-PDT.html[nogin] Minor code simplification_Mon Sep 19 07:10:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-31-110262000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-31-110262000-PDT.html[nogin] Deleted some unused functionality._Mon Sep 19 07:10:36 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-36-217751000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-36-217751000-PDT.html[nogin] Removed some unused code_Mon Sep 19 07:10:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-37-476502000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-37-476502000-PDT.html[nogin] _ Itt_set_ alpha_renamed the rules to make them better preserve the names of_Mon Sep 19 07:10:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-41-828560000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-41-828560000-PDT.html[nogin] Simplified the instance/pattern code a bit _ when we already have a pattern,_Mon Sep 19 07:10:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-46-187535000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-46-187535000-PDT.html[nogin] _Opname.eq_ instead of ____Mon Sep 19 07:10:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-46-680933000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-46-680933000-PDT.html[kopylov] Some display forms_Mon Sep 19 07:10:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-47-669040000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-47-669040000-PDT.html[nogin] On display, if a 0_arity SO var clashes with an FO binding, then leave the_Mon Sep 19 07:10:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-055997000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-055997000-PDT.html[kopylov] Changed make_bterm_eval, fixed make_bterm_eval_Mon Sep 19 07:10:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-419527000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-419527000-PDT.html[xiny] Added comments, display forms, ..._Mon Sep 19 07:10:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-813771000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-48-813771000-PDT.html[nogin] _De_kreitzed_ the proof of /itt/itt_record0/record_exchange_Mon Sep 19 07:10:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-53-162661000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-53-162661000-PDT.html[xiny] Added more comments._Mon Sep 19 07:10:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-56-412409000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-56-412409000-PDT.html[xiny] Removed some useless stuff._Mon Sep 19 07:10:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-57-037279000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-10-57-037279000-PDT.html[xiny] Added comments._Mon Sep 19 07:11:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-00-533943000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-00-533943000-PDT.html[xiny] Added comments._Mon Sep 19 07:11:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-01-166771000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-01-166771000-PDT.html[jyh] Added _minor_ x86 optimizations._Mon Sep 19 07:11:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-01-994484000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-01-994484000-PDT.html[yegor] supinfT did not convert integer subtraction and unary minus to operations on rationals._Mon Sep 19 07:11:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-05-008758000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-05-008758000-PDT.html[jyh] Added the x86 conventions._Mon Sep 19 07:11:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-09-003097000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-09-003097000-PDT.html[xiny] Proved some rules in Itt_reflection_example_lambda__Mon Sep 19 07:11:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-10-512278000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-10-512278000-PDT.html[jyh] The files for register allocation now compile. Untested._Mon Sep 19 07:11:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-13-274592000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-13-274592000-PDT.html[jyh] Yay_ The backend is complete, and mmc_int_test/test0 compiles and_Mon Sep 19 07:11:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-15-914017000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-15-914017000-PDT.html[jyh] Added the _typeof_ operator to x86._Mon Sep 19 07:11:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-20-332618000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-20-332618000-PDT.html[jyh] A more complete sweeper for x86._Mon Sep 19 07:11:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-22-943005000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-22-943005000-PDT.html[kopylov] Start to write a definition of language_Mon Sep 19 07:11:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-25-514112000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-25-514112000-PDT.html[xiny] some fixes._Mon Sep 19 07:11:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-25-965474000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-25-965474000-PDT.html[jyh] Converted the x86 sweeper to propositional form. That is, the sweep_Mon Sep 19 07:11:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-28-431838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-28-431838000-PDT.html[kopylov] Add a definition of find_Mon Sep 19 07:11:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-31-708619000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-31-708619000-PDT.html[kopylov] More on Itt_synt_langage_Mon Sep 19 07:11:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-37-259895000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-37-259895000-PDT.html[jyh] Convert _std_ lambdas to _rec_ lambdas during type inference._Mon Sep 19 07:11:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-37-661378000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-37-661378000-PDT.html[kopylov] _ Added a definition of the type of lists with different elements diff_list. _What is the better name for it___Mon Sep 19 07:11:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-41-215447000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-41-215447000-PDT.html[kopylov] 1. Fixed a bug noted by Xin_Mon Sep 19 07:11:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-41-731677000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-41-731677000-PDT.html[jyh] Added lazy computation of grammars _this is bug _411_. This should_Mon Sep 19 07:11:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-43-111906000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-43-111906000-PDT.html[xiny] Some proofs _especially for _find___Mon Sep 19 07:11:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-46-894433000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-46-894433000-PDT.html[nogin] Made the parsetree.cmi checking smarter. This makes MetaPRL compatible with_Mon Sep 19 07:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-56-287074000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-56-287074000-PDT.html[nogin] Mention GODI option for installation_Mon Sep 19 07:11:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-56-691195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-56-691195000-PDT.html[kopylov] Add a definition of last_var_Mon Sep 19 07:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-57-065274000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-57-065274000-PDT.html[nogin] ____________________________________________________________________Mon Sep 19 07:11:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-57-477716000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-57-477716000-PDT.html[kopylov] 1. Added the operator make_depth__s__n_, that adds some variables to the term _s_ to make its binding depth to be equal to _n_._Mon Sep 19 07:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-081721000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-081721000-PDT.html[nogin] _Bug 415_ removed an unnecessary check for non_repeating bindings in sequents._Mon Sep 19 07:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-563659000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-563659000-PDT.html[nogin] Some functions were not properly implemented_ fixing._Mon Sep 19 07:11:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-943853000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-11-59-943853000-PDT.html[xiny] rules and proofs for diff_list._Mon Sep 19 07:12:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-00-454078000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-00-454078000-PDT.html[xiny] Fixed a bug in the definition of _dest___Mon Sep 19 07:12:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-01-739836000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-01-739836000-PDT.html[kopylov] Added a definition of beta_reduction for the simple lambda_calculus_Mon Sep 19 07:12:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-04-089805000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-04-089805000-PDT.html[nogin] Made the var_subst function alpha_invariant._Mon Sep 19 07:12:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-04-580344000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-04-580344000-PDT.html[nogin] Created a separate SOContext choice for contexts in Term_ds.core_term type._Mon Sep 19 07:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-05-057035000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-05-057035000-PDT.html[nogin] Fixing a bug in Term_std._Mon Sep 19 07:12:05 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-05-943414000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-05-943414000-PDT.html[nogin] Added a possibility to debug internal interfaces for Refine and Rewrite_Mon Sep 19 07:12:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-06-327497000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-06-327497000-PDT.html[jyh] Fixed a painful bug in the parser where precedences were not_Mon Sep 19 07:12:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-06-873508000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-06-873508000-PDT.html[xiny] Fixed proofs of add_vars_upto and finished proofs of make_depth._Mon Sep 19 07:12:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-08-030860000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-08-030860000-PDT.html[nogin] _ When calling the type inference from filter, pass only the _proper_ term_Mon Sep 19 07:12:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-11-442108000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-11-442108000-PDT.html[nogin] Put back the occurs check that I_ve unintentially removed._Mon Sep 19 07:12:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-13-828010000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-13-828010000-PDT.html[nogin] itt_int_bench3 is also generated by gen_bench_Mon Sep 19 07:12:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-14-240226000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-14-240226000-PDT.html[nogin] _Bug 416_ Give a meaningful error message when__Mon Sep 19 07:12:15 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-15-797076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-15-797076000-PDT.html[kopylov] Added the subject reduction theorem and started the proof._Mon Sep 19 07:12:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-17-494352000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-17-494352000-PDT.html[nogin] In a rewriter, I added a way to consider __v_ as bindings. If a term_Mon Sep 19 07:12:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-19-148049000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-19-148049000-PDT.html[jyh] I_m being a little anal here. I prefer the form where the _singleton_params_c__Mon Sep 19 07:12:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-20-302395000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-20-302395000-PDT.html[jyh] NOTE_ this breaks binary compatibility, bleh._Mon Sep 19 07:12:22 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-22-574327000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-22-574327000-PDT.html[jyh] Added non_binding contexts _bug _417_._Mon Sep 19 07:12:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-25-488754000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-25-488754000-PDT.html[jyh] A lot of changes__Mon Sep 19 07:12:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-26-845046000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-26-845046000-PDT.html[nogin] Minor fix in the match_terms function._Mon Sep 19 07:12:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-40-413787000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-40-413787000-PDT.html[kopylov] Proved the well_formedness of is_same_op for Operator._Mon Sep 19 07:12:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-40-803114000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-40-803114000-PDT.html[nogin] Allow arg__... __ ... __ notation for sequents in the dform _options_ list._Mon Sep 19 07:12:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-42-502837000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-42-502837000-PDT.html[nogin] _ Fixed a bug in parsing quotations within the __doc_ __ quotations._Mon Sep 19 07:12:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-43-365058000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-43-365058000-PDT.html[nogin] Added a fake_mlrw operator to make documenting ML rewrites easier._Mon Sep 19 07:12:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-44-147493000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-44-147493000-PDT.html[nogin] Do not try to read/write the MetaPRL history file when the _batch flag is_Mon Sep 19 07:12:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-45-881240000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-45-881240000-PDT.html[nogin] In TermSubst.match_terms, do include the trivial v__v _renamings_ in the_Mon Sep 19 07:12:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-46-938567000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-46-938567000-PDT.html[xiny] More proofs._Mon Sep 19 07:12:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-47-371353000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-47-371353000-PDT.html[nogin] Proper scoping for OCamlGeneratedFiles._Mon Sep 19 07:12:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-55-389223000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-12-55-389223000-PDT.html[xiny] More proofs._Mon Sep 19 07:13:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-00-679456000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-00-679456000-PDT.html[xiny] Finished proofs in Itt_synt_language._Mon Sep 19 07:13:03 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-03-729725000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-03-729725000-PDT.html[xiny] Added BTerm__n_ and BTerm_plus__n_ in Itt_synt_bterm_ Corrected last_var__bt__Mon Sep 19 07:13:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-08-116431000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-08-116431000-PDT.html[nogin] The apply_var_fun[_arg]_at_addr now rename the bterm bindings among the_Mon Sep 19 07:13:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-10-098195000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-10-098195000-PDT.html[xiny] Replaced _language_ with _lang_ to avoid misspelling._Mon Sep 19 07:13:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-10-568953000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-10-568953000-PDT.html[xiny] Remove the Itt_synt_language module._Mon Sep 19 07:13:13 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-13-119179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-13-119179000-PDT.html[xiny] Renamed Itt_synt_bterm_is_same_op/same_op to is_same_op_of/same_op_of_Mon Sep 19 07:13:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-17-389186000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-17-389186000-PDT.html[kopylov] More on the proof of the subject reduction_Mon Sep 19 07:13:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-18-544949000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-18-544949000-PDT.html[nogin] Added a missing check that makes sure SO instances do not have free contexts._Mon Sep 19 07:13:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-19-225916000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-19-225916000-PDT.html[nogin] _Bug 405_ When loading a .cmiz or .cmoz file, the grammar needs to be_Mon Sep 19 07:13:19 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-19-643947000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-19-643947000-PDT.html[xiny] More proofs._Mon Sep 19 07:13:20 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-20-400158000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-20-400158000-PDT.html[jyh] Added the ability to use quotations to specify meta_terms._Mon Sep 19 07:13:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-24-914717000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-24-914717000-PDT.html[xiny] Change Itt_synt_bterm_btermVar from AutoMustComplete to nth_hyp._Mon Sep 19 07:13:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-27-108891000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-27-108891000-PDT.html[nogin] Added code for var_subst on sequents._Mon Sep 19 07:13:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-29-703059000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-29-703059000-PDT.html[xiny] More proofs for Itt_reflection_example_lambda._Mon Sep 19 07:13:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-30-161529000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-30-161529000-PDT.html[jyh] Added meta_term grammar to the mmc core._Mon Sep 19 07:13:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-32-756229000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-32-756229000-PDT.html[nogin] When backtrace is on, do not attempt to pretty_print exceptions _this destroys_Mon Sep 19 07:13:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-34-417041000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-34-417041000-PDT.html[jyh] Some updates to CPS. Preparing to remove polymorphism introduced earlier._Mon Sep 19 07:13:34 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-34-844630000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-34-844630000-PDT.html[nogin] Changed splitITE to use TermAddr functionality for finding appropriate_Mon Sep 19 07:13:35 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-35-827391000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-13-35-827391000-PDT.html[nogin] MetaPRL is compatible with OCaml 3.08.3_Mon Sep 19 07:16:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-54-145843000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-54-145843000-PDT.html[nogin] Some display form improvements._Mon Sep 19 07:16:57 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-57-540410000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-57-540410000-PDT.html[jyh] Added hash codes to most of the data values in Lm_parser._Mon Sep 19 07:16:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-59-431739000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-59-431739000-PDT.html[jyh] Modified the lookahead propagation for performance _it is now_Mon Sep 19 07:16:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-59-877489000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-16-59-877489000-PDT.html[nogin] In Ocamldep__Mon Sep 19 07:17:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-00-339046000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-00-339046000-PDT.html[jyh] Added more timing printouts. Use MP_DEBUG_parsetiming to see them._Mon Sep 19 07:17:00 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-00-837715000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-00-837715000-PDT.html[] This commit was manufactured by cvs2svn to create branch _fast_parser_._Mon Sep 19 07:17:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-01-274994000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-01-274994000-PDT.html[nogin] Term_order__Mon Sep 19 07:17:08 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-08-716906000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-08-716906000-PDT.html[nogin] Added rules for writing parsed .ml/.mli into .p4/.p4i in macropp_processed_Mon Sep 19 07:17:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-09-451300000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-09-451300000-PDT.html[nogin] Minor API change._Mon Sep 19 07:17:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-09-909333000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-09-909333000-PDT.html[nogin] Proper usage of delayed bindings._Mon Sep 19 07:17:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-10-730063000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-10-730063000-PDT.html[jyh] Some additional optimizations._Mon Sep 19 07:17:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-11-140566000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-11-140566000-PDT.html[jyh] Grammar construction is now around 0.3sec for our largest grammar,_Mon Sep 19 07:17:11 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-11-530969000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-11-530969000-PDT.html[xiny] Finished proofs in Itt_reflection_example_lambda._Mon Sep 19 07:17:12 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-12-348057000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-12-348057000-PDT.html[xiny] Remove some useless stuff._Mon Sep 19 07:17:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-14-436179000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-14-436179000-PDT.html[nogin] _ Iforms now do not have to be duplicated in .mli and .ml _ iforms that exist_Mon Sep 19 07:17:14 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-14-862280000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-14-862280000-PDT.html[nogin] _ Filter_parse_ wrapped a number of grammar_related entries with a proper_Mon Sep 19 07:17:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-17-166974000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-17-166974000-PDT.html[nogin] Removing Phobos from MetaPRL _sorry, Adam_. Jason_s new grammar implementation_Mon Sep 19 07:17:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-17-694847000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-17-694847000-PDT.html[nogin] Partially resurrected the _M_ compiler. The ext_fib_prog2 _Fibonachi example_Mon Sep 19 07:17:21 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-21-366627000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-21-366627000-PDT.html[nogin] _Important__ when using xbinder__v_ hack, you do have to faithfully consider_Mon Sep 19 07:17:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-25-806340000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-25-806340000-PDT.html[nogin] Parse the Filter_grammar quotations correctly on the command line _the code_Mon Sep 19 07:17:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-26-496245000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-26-496245000-PDT.html[jyh] Fixed lookahead propagation, and added empty productions._Mon Sep 19 07:17:26 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-26-924360000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-26-924360000-PDT.html[jyh] Almost done, we had a power outage here._Mon Sep 19 07:17:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-30-924800000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-30-924800000-PDT.html[jyh] Additional MAGIC annotations for the stuff that is marshaled._Mon Sep 19 07:17:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-31-722383000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-31-722383000-PDT.html[jyh] Merged the fast_parser branch._Mon Sep 19 07:17:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-32-585192000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-32-585192000-PDT.html[nogin] Allow arbitrary non_comma terms as token _subtypes_ in term declarations._Mon Sep 19 07:17:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-47-445412000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-47-445412000-PDT.html[xiny] More proofs._Mon Sep 19 07:17:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-47-911164000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-47-911164000-PDT.html[nogin] When debug_grammar is set, apply_iforms would print the term before and after_Mon Sep 19 07:17:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-52-925133000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-52-925133000-PDT.html[nogin] Minor API change_ give access to the hyp index in the SeqHyp.fold function._Mon Sep 19 07:17:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-53-802600000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-53-802600000-PDT.html[nogin] Fixing a nasty bug in Term_ds _ substitution for _v_ in_Mon Sep 19 07:17:59 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-59-790651000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-17-59-790651000-PDT.html[jyh] Implemented sweep and code generation for the Booleans._Mon Sep 19 07:18:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-01-222124000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-01-222124000-PDT.html[jyh] Mmc_ext_integer duplicated the sweep rules in Mmc_ext_arithmetic._Mon Sep 19 07:18:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-04-247629000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-04-247629000-PDT.html[yegor] Now it compiles _it was broken for some type__Mon Sep 19 07:18:07 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-07-984870000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-07-984870000-PDT.html[jyh] Normal spilling is pretty much working, although I have to figure out_Mon Sep 19 07:18:10 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-10-387547000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-10-387547000-PDT.html[jyh] Indeed, Lm_symbol.to_string is the right solution to the_Mon Sep 19 07:18:16 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-16-891005000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-16-891005000-PDT.html[jyh] _Mon Sep 19 07:18:17 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-17-318293000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-17-318293000-PDT.html[jyh] Oops, the _ variable gets turned into an empty variable. I_m not sure_Mon Sep 19 07:18:18 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-18-256486000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-18-256486000-PDT.html[natasha] Case analysis typing rule and reductions are ready._Mon Sep 19 07:18:23 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-23-749913000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-23-749913000-PDT.html[yegor] Doing fixpoint rules via instances seems impossible__Mon Sep 19 07:18:24 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-24-435737000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-24-435737000-PDT.html[yegor] Forgot _extends Cic_ind_elim__Mon Sep 19 07:18:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-25-170385000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-25-170385000-PDT.html[yegor] Preliminary research on making omegaT complete for universal fragment_Mon Sep 19 07:18:25 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-25-561088000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-25-561088000-PDT.html[yegor] Sorry for slipping debug messages into my previous commit._Mon Sep 19 07:18:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-29-737031000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-29-737031000-PDT.html[xiny] Added some rules._Mon Sep 19 07:18:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-31-354543000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-31-354543000-PDT.html[xiny] Updated proofs._Mon Sep 19 07:18:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-44-284149000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-44-284149000-PDT.html[natasha] replaced _0 with __0_ to treat folders with spaces correctly._Mon Sep 19 07:18:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-47-972845000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-47-972845000-PDT.html[yegor] Exposed exists_elim in the interface_Mon Sep 19 07:18:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-48-433910000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-48-433910000-PDT.html[natasha] Typing rule for dependent elimination for mutually inductive definitions._Mon Sep 19 07:18:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-48-858900000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-03/2005-09-19-07-18-48-858900000-PDT.html