[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