[nogin] The latest change to lm_lexer.ml _that fixed a regexp bug that was reported_Mon Sep 19 07:41:27 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-27-887003000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-27-887003000-PDT.html[jyh] Text from last week._Mon Sep 19 07:41:28 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-28-276093000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-28-276093000-PDT.html[jyh] Minimal changes for compatibility with omake 0.9.7._Mon Sep 19 07:41:29 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-29-521804000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-29-521804000-PDT.html[jyh] Revised chapters on modules and compilation units._Mon Sep 19 07:41:30 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-30-061884000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-30-061884000-PDT.html[jyh] Print flag should be public for compatibility._Mon Sep 19 07:41:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-31-329820000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-31-329820000-PDT.html[jyh] Forgot to add these files._Mon Sep 19 07:41:31 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-31-677815000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-31-677815000-PDT.html[jyh] More compatibility changes._Mon Sep 19 07:41:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-32-101234000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-32-101234000-PDT.html[nogin] NetaPRL is compatible with OCaml 3.08.4_Mon Sep 19 07:41:32 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-32-507941000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-32-507941000-PDT.html[nogin] Bumping the MP_VERSION from 0.9.6.1_ to 0.9.6.2__Mon Sep 19 07:41:33 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-33-639114000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-33-639114000-PDT.html[xiny] Added a module for language defintion, but it probably won_t work __ the_Mon Sep 19 07:41:37 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-37-363419000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-41-37-363419000-PDT.html[xiny] Another way defining language_Mon Sep 19 07:42:49 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-49-264788000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-49-264788000-PDT.html[xiny] Proved rules for Lang__ops_, including the induction rule_Mon Sep 19 07:42:50 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-50-807256000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-50-807256000-PDT.html[nogin] Tha name of the file needs to be public for some reason._Mon Sep 19 07:42:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-52-643181000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-52-643181000-PDT.html[xiny] Added a theory for computational support for operators._Mon Sep 19 07:42:52 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-52-984203000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-52-984203000-PDT.html[xiny] Changed base_reflection_hoas to base_operator_Mon Sep 19 07:42:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-53-494455000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-53-494455000-PDT.html[xiny] remove base_reflection_hoas_Mon Sep 19 07:42:53 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-53-969605000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-53-969605000-PDT.html[xiny] Added support for computational operations on operators_Mon Sep 19 07:42:54 PDT 2005
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-54-420121000-PDT.html
http://svn.metaprl.org/commitlogs/metaprl/2005-08/2005-09-19-07-42-54-420121000-PDT.html