| Mon, 13 Nov 2006 15:55:38 +0100 | haftmann | adjusted to new fun'' | changeset | files |
| Mon, 13 Nov 2006 15:45:34 +0100 | haftmann | *** empty log message *** | changeset | files |
| Mon, 13 Nov 2006 15:43:24 +0100 | haftmann | added antiquotation theory | changeset | files |
| Mon, 13 Nov 2006 15:43:16 +0100 | haftmann | cleaned up | changeset | files |
| Mon, 13 Nov 2006 15:43:15 +0100 | haftmann | added theory antiquotation | changeset | files |
| Mon, 13 Nov 2006 15:43:14 +0100 | haftmann | combinator for overwriting changes with warning | changeset | files |
| Mon, 13 Nov 2006 15:43:13 +0100 | haftmann | added higher-order combinators for structured results | changeset | files |
| Mon, 13 Nov 2006 15:43:12 +0100 | haftmann | adjusted name in generated code | changeset | files |