| Tue, 03 Jan 2006 11:32:55 +0100 | haftmann | class now an keyword, quoted where necessary | changeset | files |
| Tue, 03 Jan 2006 11:32:16 +0100 | haftmann | add_local_context now yields imported and body elements seperatly; additional slight clenup in code | changeset | files |
| Tue, 03 Jan 2006 11:31:15 +0100 | haftmann | rearranged burrow_split to fold_burrow to allow composition with fold_map | changeset | files |
| Tue, 03 Jan 2006 00:06:30 +0100 | wenzelm | added unfolding(_i); | changeset | files |
| Tue, 03 Jan 2006 00:06:29 +0100 | wenzelm | unparse String/AltString: escape quotes; | changeset | files |
| Tue, 03 Jan 2006 00:06:28 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 03 Jan 2006 00:06:26 +0100 | wenzelm | avoid hardwired Trueprop; | changeset | files |