[nogin] Changed to Base_meta implementation or arithmetical operations on numerals safer._ Mon Sep 19 03:40:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-08-368474000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-08-368474000-PDT.html [nogin] Updated the patches._ Mon Sep 19 03:40:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-09-079391000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-09-079391000-PDT.html [nogin] Since OCaml now has its own _include_ keyword _which is similar to MetaPRL_s one,_ Mon Sep 19 03:40:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-09-734479000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-09-734479000-PDT.html [nogin] 1_ Made sure all MetaPRL documentation passes the spellchecker._ Mon Sep 19 03:40:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-36-223072000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-36-223072000-PDT.html [justins] Revising FIR so it handles the level changes I pushed through recently._ Mon Sep 19 03:40:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-39-326133000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-39-326133000-PDT.html [justins] Removing INCPATH statements from build system._ Mon Sep 19 03:40:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-40-660827000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-40-660827000-PDT.html [nogin] theories.pdf reorganization _ now each major theory _Base, Itt, Czf and Mc__ Mon Sep 19 03:40:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-42-000710000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-42-000710000-PDT.html [justins] Adding MetaPRL support for BoxedTuple _new MCC tuple class_._ Mon Sep 19 03:40:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-55-203645000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-55-203645000-PDT.html [nogin] Corrected the page count_ Mon Sep 19 03:40:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-56-492877000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-56-492877000-PDT.html [granicz] Removed Mp_mc_related stuff temporarily, since the FIR changes have_ Mon Sep 19 03:40:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-56-887262000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-56-887262000-PDT.html [granicz] Added old files for easy restoral._ Mon Sep 19 03:40:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-57-519742000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-57-519742000-PDT.html [granicz] Sorry. Makefile still contained removed files._ Mon Sep 19 03:40:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-58-143253000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2002-06/2005-09-19-03-40-58-143253000-PDT.html