| Sun, 23 Jul 2000 12:06:46 +0200 | wenzelm | assimilated; | changeset | files |
| Sun, 23 Jul 2000 12:05:23 +0200 | wenzelm | tuned HeapFun; | changeset | files |
| Sun, 23 Jul 2000 12:04:56 +0200 | wenzelm | tuned ThmHeap; | changeset | files |
| Sun, 23 Jul 2000 12:02:22 +0200 | wenzelm | removed selector syntax -- improper tuples are broken beyond repair :-( | changeset | files |
| Sun, 23 Jul 2000 12:01:39 +0200 | wenzelm | elim?; | changeset | files |
| Sun, 23 Jul 2000 12:01:05 +0200 | wenzelm | classical atts now intro! / intro / intro?; | changeset | files |
| Sun, 23 Jul 2000 11:59:21 +0200 | wenzelm | renamed "Directories" to "Sessions"; | changeset | files |
| Sun, 23 Jul 2000 11:58:30 +0200 | wenzelm | tuned; | changeset | files |