[nogin] There is no need to list TODO here_ Mon Sep 19 02:10:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-25-002810000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-25-002810000-PDT.html [nogin] Added MetaLabeled of string _ meta_term variant to meta_term type_ Mon Sep 19 02:10:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-25-380216000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-25-380216000-PDT.html [nogin] This file was never used._ Mon Sep 19 02:10:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-26-246142000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-26-246142000-PDT.html [nogin] Added parsing of resource annotations. Used __ ... __ delimiters_ Mon Sep 19 02:10:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-26-611542000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-26-611542000-PDT.html [jyh] This is the first phase for modifying resources._ Mon Sep 19 02:10:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-28-236133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-28-236133000-PDT.html [jyh] Added the primitive support for resource improvement through_ Mon Sep 19 02:10:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-34-929589000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-34-929589000-PDT.html [jyh] Added MetaLabeled to term_grammar._ Mon Sep 19 02:10:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-36-960734000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-36-960734000-PDT.html [] This commit was manufactured by cvs2svn to create tag _meta_prl_0_5_._ Mon Sep 19 02:10:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-37-345333000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-37-345333000-PDT.html [nogin] I_ve created a tag _meta_prl_0_5_, bumped the version number to 0.5.1_ Mon Sep 19 02:10:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-37-662648000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-37-662648000-PDT.html [nogin] This logo isn_t perfect but at least it is better than what we have now._ Mon Sep 19 02:10:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-077165000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-077165000-PDT.html [nogin] Changes the parameters of the IMG tag to fit the size of the new logo_ Mon Sep 19 02:10:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-403155000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-403155000-PDT.html [jyh] Removed Resource_Int,String_ type._ Mon Sep 19 02:10:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-758378000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-38-758378000-PDT.html [nogin] Added ENSROOT and OCAMLSRC to mk/config._ Mon Sep 19 02:10:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-39-180536000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-39-180536000-PDT.html [nogin] Moved most filter_summary types into the filter_type.mlz_ Mon Sep 19 02:10:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-39-802218000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-39-802218000-PDT.html [nogin] Added __resources components to rewrite_info, axiom_info,_ Mon Sep 19 02:10:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-40-801049000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-40-801049000-PDT.html [nogin] Updated the .prlb files._ Mon Sep 19 02:10:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-43-104877000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-43-104877000-PDT.html [nogin] When a new rule/axiom/rewrite_info is created the resource filed_ Mon Sep 19 02:10:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-43-804329000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-43-804329000-PDT.html [nogin] Better dependence generation._ Mon Sep 19 02:10:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-44-472674000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-44-472674000-PDT.html [kopylov] Reverted the last change_ Mon Sep 19 02:10:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-44-899807000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-44-899807000-PDT.html [kopylov] Added module name _Rewrtie_compile_contractum._ to all the RefinerError raised from this file_ Mon Sep 19 02:10:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-45-234874000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-45-234874000-PDT.html [nogin] dT_ thin after eliminating independant product from a hypothesis._ Mon Sep 19 02:10:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-45-643835000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-45-643835000-PDT.html [nogin] ref_raise should only be used for raising RefineError errors_ Mon Sep 19 02:10:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-198378000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-198378000-PDT.html [nogin] Fixed the error reporting that I broke when added the resource annotations_ Mon Sep 19 02:10:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-595128000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-595128000-PDT.html [nogin] Forced the typechecker to test whether print_exn is applied correctly._ Mon Sep 19 02:10:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-990492000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-04/2005-09-19-02-10-47-990492000-PDT.html