Starting with tag: [TAG As submitted to MetaOCaml workshop Christopher League **20070416221215] [svn-r12: camel icon in png Christopher League **20070416221916] [svn-r13: simplified build to use one root Makefile Christopher League **20070416222149 Doesn't include benchmarking and paper yet. ] [svn-r14: update build system to one Makefile Christopher League **20070416222311] [svn-r15: fixed stylesheet; added mostlyclean target Christopher League **20070416222344] [svn-r16: got it running on comsci; default port now 1080 Christopher League **20070416222402] [svn-r17: Changes for building paper, switched to uuencode instead of mimencode. Christopher League **20070416222427] [svn-r18: Changes to support re-executing stage 1 once server is live. Christopher League **20070416222509] [svn-r19: Switched to 'lgrind' for code listings. Christopher League **20070416222546 All figures and listings are now generated in the paper/ sub-dir, so there is no need to set TEXINPUTS. Legend of browse plot is fixed. Added syntax for auto lifting. This improves a few examples, although the tag proliferation is unfortunate. I have a start on unstaged dir browser in PHP. ] [svn-r20: Added staged dir browser in PHP, and its performance measurements. Christopher League **20070416222632 Improved figures and listings in paper. ] [svn-r21: Bug fix in translator, for when comments found in let block. Changes to paper. Christopher League **20070416222703] [svn-r22: checkme url for uptime.openacs.org Christopher League **20070416222748] [svn-r23: changes to permit running as daemon Christopher League **20070416222836] [svn-r24: many changes to paper; re-did unstaged versions of power and dir. Christopher League **20070416222907] [svn-r25: paper updated -- as submitted to MetaOCaml workshop Christopher League **20070416223017] [TAG Final version for MetaOCaml workshop Christopher League **20070416223028] [svn-r27: changes just before workshop Christopher League **20070416223158] [svn-r28: 1st journal revision Christopher League **20070416223336] [svn-r29: final? revision for SCP sent to Walid Christopher League **20070416223432] [svn-r30: added citation to Takebe Christopher League **20070416223508] [svn-r31: minor change to paper Christopher League **20070416223539] [Imported from subversion to darcs, semi-manually. Christopher League **20070416223856 Patch dates prior to this one are not correct, but here is the abbreviated subversion log: r33 | league | 2006-04-19 23:52:57 -0400 (Wed, 19 Apr 2006) r32 | league | 2006-04-19 23:52:06 -0400 (Wed, 19 Apr 2006) r31 | league | 2006-04-19 22:38:39 -0400 (Wed, 19 Apr 2006) r30 | league | 2006-04-17 12:59:47 -0400 (Mon, 17 Apr 2006) r29 | league | 2005-11-03 18:18:29 -0500 (Thu, 03 Nov 2005) r28 | league | 2005-06-10 11:50:49 -0400 (Fri, 10 Jun 2005) r27 | league | 2004-10-31 19:06:49 -0500 (Sun, 31 Oct 2004) r26 | league | 2004-10-20 17:29:40 -0400 (Wed, 20 Oct 2004) r25 | league | 2004-10-20 17:26:35 -0400 (Wed, 20 Oct 2004) r24 | league | 2004-10-20 02:21:59 -0400 (Wed, 20 Oct 2004) r23 | league | 2004-10-19 17:25:49 -0400 (Tue, 19 Oct 2004) r22 | league | 2004-10-19 16:27:38 -0400 (Tue, 19 Oct 2004) r21 | league | 2004-10-19 16:17:37 -0400 (Tue, 19 Oct 2004) r20 | league | 2004-10-14 10:37:50 -0400 (Thu, 14 Oct 2004) r19 | league | 2004-10-12 18:44:25 -0400 (Tue, 12 Oct 2004) r18 | league | 2004-10-06 11:03:38 -0400 (Wed, 06 Oct 2004) r17 | league | 2004-10-03 19:57:44 -0400 (Sun, 03 Oct 2004) r16 | league | 2004-10-03 19:35:53 -0400 (Sun, 03 Oct 2004) r15 | league | 2004-10-03 16:34:19 -0400 (Sun, 03 Oct 2004) r14 | league | 2004-10-03 15:33:48 -0400 (Sun, 03 Oct 2004) r13 | league | 2004-10-03 15:32:52 -0400 (Sun, 03 Oct 2004) r12 | league | 2004-09-15 01:42:13 -0400 (Wed, 15 Sep 2004) r11 | league | 2004-09-15 01:37:09 -0400 (Wed, 15 Sep 2004) r10 | league | 2004-09-15 01:35:23 -0400 (Wed, 15 Sep 2004) r9 | league | 2004-09-15 01:31:02 -0400 (Wed, 15 Sep 2004) r8 | league | 2004-07-19 22:36:09 -0400 (Mon, 19 Jul 2004) r7 | league | 2004-07-15 17:23:30 -0400 (Thu, 15 Jul 2004) r6 | league | 2004-07-15 13:35:47 -0400 (Thu, 15 Jul 2004) r5 | league | 2004-07-14 19:49:29 -0400 (Wed, 14 Jul 2004) r4 | league | 2004-07-14 19:48:25 -0400 (Wed, 14 Jul 2004) r3 | league | 2004-07-14 19:44:54 -0400 (Wed, 14 Jul 2004) r2 | league | 2004-07-14 19:43:55 -0400 (Wed, 14 Jul 2004) r1 | league | 2004-07-14 19:21:29 -0400 (Wed, 14 Jul 2004) ] [TAG Final version for Science of Computer Programming Christopher League **20070416224835] [added simple README, adapted from my email to Ken Shan Christopher League **20070416230223] [Conform to newer Basis spec: Substring.all becomes Substring.full Christopher League **20070417015540] [Fix for new behavior of GNU tail: requires -n Christopher League **20070417020039] [Updated README with version information of latest working compilers. Christopher League **20070417020801] [Assigning a version number and a dist/predist target. Christopher League **20070417023228] [TAG metaserv-0.7 Christopher League **20070417023323]