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