[yegor] add_list added to the map interface_ Tue Sep 13 04:04:13 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-13-500308000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-13-500308000-PDT.html [] This commit was manufactured by cvs2svn to create branch _S4_jprover_._ Tue Sep 13 04:04:14 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-14-027062000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-14-027062000-PDT.html [] This commit was manufactured by cvs2svn to create branch _strictscope1_._ Tue Sep 13 04:04:18 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-18-906467000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-18-906467000-PDT.html [jyh] Ok, this is the first pass of adding separate variable scopes._ Tue Sep 13 04:04:39 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-39-681826000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-39-681826000-PDT.html [nogin] Killing an obsolete comment_ Tue Sep 13 04:04:54 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-54-639792000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-54-639792000-PDT.html [nogin] ____ WARNING_ breaks binary compatibility_ _____ Tue Sep 13 04:04:58 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-58-524826000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-04-58-524826000-PDT.html [] This commit was manufactured by cvs2svn to create branch _stricttest1_._ Tue Sep 13 04:05:04 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-04-293726000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-04-293726000-PDT.html [nogin] This is a huge commit that is mostly no_op__ Tue Sep 13 04:05:37 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-37-635399000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-37-635399000-PDT.html [nogin] More preamble changes_ Tue Sep 13 04:05:40 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-40-104513000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-40-104513000-PDT.html [nogin] Use OCaml implementation of string comparison instead of the C one._ Tue Sep 13 04:05:45 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-45-970087000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-45-970087000-PDT.html [jyh] I think I_m settling on this approach._ Tue Sep 13 04:05:50 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-50-886158000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-05-50-886158000-PDT.html [jyh] Query the Win32 registry to figure out where omake is installed._ Tue Sep 13 04:06:07 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-07-034172000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-07-034172000-PDT.html [jyh] Unix C function type should match the Win32 function._ Tue Sep 13 04:06:08 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-08-139388000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-08-139388000-PDT.html [jyh] New boot procedure for Pervasives. It starts off as the generic _this_,_ Tue Sep 13 04:06:10 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-10-267270000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-10-267270000-PDT.html [nogin] Added an ad_hoc profiling mechanism._ Tue Sep 13 04:06:14 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-14-485959000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-14-485959000-PDT.html [nogin] When the same debug flag is created several times, make sure debug_description_ Tue Sep 13 04:06:14 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-14-978380000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-14-978380000-PDT.html [nogin] Added code for ad_hoc profiling of top_level tactics. The profiling is_ Tue Sep 13 04:06:15 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-15-422682000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-15-422682000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 04:06:15 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-15-825801000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-15-825801000-PDT.html [] This commit was manufactured by cvs2svn to create branch _strictscope2_._ Tue Sep 13 04:06:34 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-34-796630000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-34-796630000-PDT.html [jyh] We can now at least interpret all the files._ Tue Sep 13 04:06:51 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-51-961192000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-51-961192000-PDT.html [jyh] Update against the trunk, since I_m planning to make some changes there._ Tue Sep 13 04:06:55 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-55-634848000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-06-55-634848000-PDT.html [jyh] As you can no doubt see, this change was too extensive to commit_ Tue Sep 13 04:07:07 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-07-391566000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-07-391566000-PDT.html [jyh] Well, this was dumb, I completely obliterated the branch with the_ Tue Sep 13 04:07:21 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-21-907336000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-21-907336000-PDT.html [] This commit was manufactured by cvs2svn to create branch _strictscope3_._ Tue Sep 13 04:07:24 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-24-058167000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-24-058167000-PDT.html [jyh] I think I got back most of what I lost on the strictscope2 branch._ Tue Sep 13 04:07:44 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-44-492353000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-07-44-492353000-PDT.html [nogin] Somehow lm_hash.mli from the branch got added on the trunk, preventing it from_ Tue Sep 13 04:08:02 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-02-660265000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-02-660265000-PDT.html [jyh] Some more experimenting. This simplifies the system by having 3 kinds_ Tue Sep 13 04:08:04 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-04-030940000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-04-030940000-PDT.html [jyh] Minor change to determine the Pervasives file early._ Tue Sep 13 04:08:12 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-12-797866000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-12-797866000-PDT.html [jyh] Whew, MetaPRL finally compiles. The new model is transparent_ the_ Tue Sep 13 04:08:45 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-45-884450000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-08-45-884450000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 04:09:03 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-03-432381000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-03-432381000-PDT.html [jyh] Merges changes from the trunk._ Tue Sep 13 04:09:23 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-23-251061000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-23-251061000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 04:09:52 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-52-771750000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-09-52-771750000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Tue Sep 13 04:10:29 PDT 2005 http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-10-29-890724000-PDT.html http://svn.metaprl.org/commitlogs/libmojave/2005-07/2005-09-13-04-10-29-890724000-PDT.html