[yegor] hopefully this will fix the problem_Mon Sep 19 05:15:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-37-735821000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-37-735821000-PDT.html[yegor] Fixed the second ingredient of the difference in behavior with Term_ds and Term_std__Mon Sep 19 05:15:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-38-430556000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-38-430556000-PDT.html[nogin] More MERLIN paper formatting fixes _last ones, hopefully___Mon Sep 19 05:15:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-40-162516000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-40-162516000-PDT.html[crt] Aleksey_ Refine.nth_hyp _AKA nthAssumT_ should raise RefineError,_Mon Sep 19 05:15:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-40-963097000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-40-963097000-PDT.html[nogin] More tweaks towards 3.07 compatibility._Mon Sep 19 05:15:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-41-588389000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-41-588389000-PDT.html[nogin] Changing the order of arguments in apply_subst to make it easier to use_Mon Sep 19 05:15:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-42-505838000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-42-505838000-PDT.html[nogin] Fixing bug 104__Mon Sep 19 05:15:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-44-449286000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-44-449286000-PDT.html[nogin] Made sure nested sequents are properly considered in alpha equality checking._Mon Sep 19 05:15:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-45-503380000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-45-503380000-PDT.html[kopylov] _Mon Sep 19 05:15:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-46-349234000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-15-46-349234000-PDT.html[yegor] In this branch I switching WeakMemo from incremental GCion to _full_ GCion. Instead of multiplying mutexes/conditional variables I use lists of mutually recursive tables and weakmemo_users are responsible for keeping them correct._Mon Sep 19 05:16:01 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-01-685367000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-01-685367000-PDT.html[jyh] Need an explicit target for pa_macro.cmi also._Mon Sep 19 05:16:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-02-614314000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-02-614314000-PDT.html[kopylov] 1. Added a theory of nequal__Mon Sep 19 05:16:02 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-02-998845000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-02-998845000-PDT.html[kopylov] 1. Add tactic reduceT _ rwAll reduceC._Mon Sep 19 05:16:04 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-04-911669000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-04-911669000-PDT.html[nogin] _ Added _.cmoz_ .prla .prlb_ dependency _with .prl_ being optional_ and added_Mon Sep 19 05:16:06 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-06-112231000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-06-112231000-PDT.html[kopylov] I fogot to commit the proofs last time. Here they are._Mon Sep 19 05:16:09 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-09-796494000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-09-796494000-PDT.html[jyh] Move the rule for generating rewrite_type_size.mlz before the_Mon Sep 19 05:16:38 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-38-199237000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-38-199237000-PDT.html[nogin] mLast_util.ml now compiles under 3.07. Unfortunately, that is one_Mon Sep 19 05:16:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-40-354562000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-40-354562000-PDT.html[nogin] The Filter_hash module needs to go away. A much simpler way_Mon Sep 19 05:16:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-41-399889000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-41-399889000-PDT.html[nogin] Use the correct flags when creating .p4 and .p4i_Mon Sep 19 05:16:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-42-202865000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-42-202865000-PDT.html[nogin] Filter compiles under 3.07 now. The next issue to solve is that OCaml complains__Mon Sep 19 05:16:42 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-42-723256000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-42-723256000-PDT.html[nogin] MetaPRL now compiles with OCaml 3.07_Mon Sep 19 05:16:43 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-43-751486000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-43-751486000-PDT.html[nogin] Updated the make build subsystem for the 3.07 changes on the branch._Mon Sep 19 05:16:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-44-531708000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-44-531708000-PDT.html[nogin] A few minor clean_ups._Mon Sep 19 05:16:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-45-609334000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-45-609334000-PDT.html[nogin] In _omake realclean_, ignore .omakedb, mk/config and mk/config.local_Mon Sep 19 05:16:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-46-313043000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-46-313043000-PDT.html[nogin] Another library file had one of those nasty Not_found_raising gethostname calls,_Mon Sep 19 05:16:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-47-297696000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-47-297696000-PDT.html[nogin] Fixing bug 116__Mon Sep 19 05:16:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-48-246797000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-48-246797000-PDT.html[nogin] Fixing bug 117__Mon Sep 19 05:16:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-48-818327000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-48-818327000-PDT.html[nogin] Macro binaries need their __EXE_ suffix on Windows._Mon Sep 19 05:16:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-49-385420000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-49-385420000-PDT.html[nogin] Spelling fixes._Mon Sep 19 05:16:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-50-761366000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-50-761366000-PDT.html[nogin] _ This is a new approach to handling internal GC in weak_memo _ instead_Mon Sep 19 05:16:51 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-51-223599000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-51-223599000-PDT.html[nogin] _ Be more careful not to GC an entry in the same generation it was created_Mon Sep 19 05:16:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-52-646294000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-52-646294000-PDT.html[kopylov] Several small updates__Mon Sep 19 05:16:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-53-396383000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-53-396383000-PDT.html[kopylov] Aleksey Nogin wrote__Mon Sep 19 05:16:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-54-757486000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-54-757486000-PDT.html[kopylov] _ Define max and min._Mon Sep 19 05:16:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-55-152894000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-55-152894000-PDT.html[kopylov] _ natMemberEquality now is intro [AutoMustComplete], not just intro[]_Mon Sep 19 05:16:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-55-682392000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-55-682392000-PDT.html[kopylov] Fixed some display forms._Mon Sep 19 05:16:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-56-182857000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-56-182857000-PDT.html[kopylov] Added Mark_s theory of messages automata from Nuprl._Mon Sep 19 05:16:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-56-984744000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-16-56-984744000-PDT.html[nogin] The new Alexei_s version of the dT_elim autoT_compatibility test turned out_Mon Sep 19 05:17:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-27-466568000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-27-466568000-PDT.html[nogin] _ Fixing couple of proofs that were broken by the recent commits._Mon Sep 19 05:17:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-28-039164000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-28-039164000-PDT.html[kopylov] _Mon Sep 19 05:17:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-32-165169000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-32-165169000-PDT.html[nogin] Camlp4 allows antiquotations in grammar rules_ there is no need to use sed..._Mon Sep 19 05:17:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-39-146342000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-39-146342000-PDT.html[nogin] Merged the Exn_boot and Filter_exn modules a bit._Mon Sep 19 05:17:39 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-39-719012000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-39-719012000-PDT.html[nogin] Print expansion errors using the Filter_exn.print instead of Refine_exn.print._Mon Sep 19 05:17:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-40-351938000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-40-351938000-PDT.html[nogin] This is a no_op commit that removes some white space._Mon Sep 19 05:17:40 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-40-839533000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-40-839533000-PDT.html[nogin] ________ WARNING _ this commit breaks .prlb compatibility _______Mon Sep 19 05:17:41 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-41-431417000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-41-431417000-PDT.html[yegor] Improvement of global GC strategy _though it will probably be replaced with generational GC_. Now it_s not really global but sticks to mutually recursive memos only._Mon Sep 19 05:17:44 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-44-640318000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-44-640318000-PDT.html[nogin] Fixing a typo in Yegor_s recent commit._Mon Sep 19 05:17:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-45-617311000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-45-617311000-PDT.html[n8gray] Added cross_session readline history support. Use environment variables_Mon Sep 19 05:17:45 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-45-991761000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-45-991761000-PDT.html[nogin] _ Do not print a warning message in the Readline history file does not exist._Mon Sep 19 05:17:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-46-409968000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-46-409968000-PDT.html[jyh] Update the OMakefile to 0.7.7_Mon Sep 19 05:17:46 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-003346000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-003346000-PDT.html[nogin] _ _bug 45_ in _cvs realclean_, skip .omakedb, mk/config and mk/config.local_Mon Sep 19 05:17:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-468128000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-468128000-PDT.html[nogin] Go back to the old incremental GC on the trunk. Hopefully, this will allow us_Mon Sep 19 05:17:47 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-969076000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-47-969076000-PDT.html[emre] [1] Change one last reference to make to refer to omake._Mon Sep 19 05:17:48 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-48-972903000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-48-972903000-PDT.html[nogin] Minor clean_up _removing some unused stuff_._Mon Sep 19 05:17:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-49-431898000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-49-431898000-PDT.html[nogin] _ Getting rid of the util/misc.ml _ocamldep was barely using it_._Mon Sep 19 05:17:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-49-911327000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-49-911327000-PDT.html[nogin] Actually, it turned out that only 3.07 is capable of dealing with capitalized_Mon Sep 19 05:17:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-50-504482000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-50-504482000-PDT.html[nogin] This is a no_op commit that removes some white space._Mon Sep 19 05:17:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-50-911387000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-50-911387000-PDT.html[nogin] Use a pa_macro package _loosely based on the pa_macro module from the_Mon Sep 19 05:17:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-52-063157000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-52-063157000-PDT.html[nogin] Omake 0.7.7 still does not do the .mli_free case correctly _see bug 90,_Mon Sep 19 05:17:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-55-543005000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-55-543005000-PDT.html[nogin] _ Cleaned up some of the MLast.expr handling code _this is backported from_Mon Sep 19 05:17:55 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-55-924443000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-55-924443000-PDT.html[nogin] _bug 128_ Made the Itt_equal.process_eqcd_resource_annotation error messages_Mon Sep 19 05:17:56 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-56-997210000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2003-11/2005-09-19-05-17-56-997210000-PDT.html