Wed, 20 Sep 2006 14:00:25 +0200 isatest make it work on sunbroy2
Wed, 20 Sep 2006 13:56:39 +0200 mengj Moved the functional equality axioms to helper1 files.
Wed, 20 Sep 2006 13:54:03 +0200 mengj Introduced combinators B', C' and S'.
Wed, 20 Sep 2006 13:53:03 +0200 mengj Removed include_min_comb and include_combS.
Wed, 20 Sep 2006 13:02:30 +0200 aspinall Add Source.of_instream_slurp to try to ensure that XML parser sees whole documents.
Wed, 20 Sep 2006 12:24:28 +0200 haftmann improvements for codegen 2
Wed, 20 Sep 2006 12:24:11 +0200 haftmann name shifts
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip