[nogin] Minor update to catch up with recent changes in OMake and LibMojave._ Sun Apr 8 10:12:52 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-08-10-12-52-592707000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-08-10-12-52-592707000-PDT.html [nogin] Use a foreach instead of the 3_place rule in order to avoid issues with_ Tue Apr 10 16:30:39 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-10-16-30-39-645966000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-10-16-30-39-645966000-PDT.html [nogin] Use ConfMsgError, where appropriate._ Fri Apr 13 12:39:10 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-13-12-39-10-802900000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-13-12-39-10-802900000-PDT.html [yegor] bringing CIC up to speed with the rest of MetaPRL_ Sun Apr 15 08:37:05 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-15-08-37-05-163444000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-15-08-37-05-163444000-PDT.html [nogin] Minor no_op reorg of the code._ Mon Apr 16 09:15:17 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-09-15-17-538605000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-09-15-17-538605000-PDT.html [nogin] Use the _const_ shape modifier as LINDENT, without making it a keyword._ Mon Apr 16 09:46:29 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-09-46-29-846892000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-09-46-29-846892000-PDT.html [nogin] The CIC theory now compiles and initializes fine, adding it to THEORIES_ALL._ Mon Apr 16 10:01:04 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-10-01-04-383252000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-10-01-04-383252000-PDT.html [nogin] Bringing pa_macro closer to the default 3.09.3 version _in order to make life_ Mon Apr 16 11:50:55 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-11-50-55-791626000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-11-50-55-791626000-PDT.html [nogin] More cosmetic changes._ Mon Apr 16 11:56:44 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-11-56-44-069279000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-11-56-44-069279000-PDT.html [nogin] Fixing a warning._ Mon Apr 16 18:06:34 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-18-06-34-921741000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-16-18-06-34-921741000-PDT.html [nogin] Branching for the upcoming OCaml 3.10_ Tue Apr 17 10:38:19 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-38-19-900831000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-38-19-900831000-PDT.html [nogin] Oops, previous commit was wrong _I did a branch off the top level of the_ Tue Apr 17 10:40:07 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-40-07-925640000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-40-07-925640000-PDT.html [nogin] Branching to work on preparing for the upcoming OCaml 3.10 _which has_ Tue Apr 17 10:40:46 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-40-46-174894000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-10-40-46-174894000-PDT.html [nogin] Made some progress towards compiling MetaPRL with OCaml 3.10_beta__ Tue Apr 17 12:20:21 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-12-20-21-931854000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-12-20-21-931854000-PDT.html [nogin] More 3.10_beta changes._ Tue Apr 17 16:52:42 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-16-52-42-106611000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-17-16-52-42-106611000-PDT.html [nogin] Now trying to use the latest OCaml CVS from the _release310_ branch. There the_ Wed Apr 18 10:25:40 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-18-10-25-40-304243000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-18-10-25-40-304243000-PDT.html [nogin] More 3.10 work._ Wed Apr 18 15:00:04 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-18-15-00-04-562304000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-18-15-00-04-562304000-PDT.html [nogin] Backporting some rev. 10455 changes from the ocaml_3.10 branch._ Thu Apr 19 09:30:15 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-19-09-30-15-056046000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-19-09-30-15-056046000-PDT.html [nogin] _ A few fixes for Windows._ Thu Apr 19 10:36:53 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-19-10-36-53-852516000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-19-10-36-53-852516000-PDT.html [nogin] Made some incremental progress towards 3.10 compatibility._ Tue Apr 24 12:50:08 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-24-12-50-08-868442000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-24-12-50-08-868442000-PDT.html [nogin] More 3.10 work._ Mon Apr 30 17:30:49 PDT 2007 http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-30-17-30-49-040505000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/2007-04/2007-04-30-17-30-49-040505000-PDT.html