| 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 |
| Wed, 20 Sep 2006 12:23:54 +0200 | haftmann | fixed bug | changeset | files |
| Wed, 20 Sep 2006 12:05:31 +0200 | krauss | Removed "induct set" attribute from total induction rules | changeset | files |
| Wed, 20 Sep 2006 10:13:36 +0200 | haftmann | removed debug | changeset | files |