| 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 |
| Sat, 22 Jul 2000 12:58:12 +0200 | wenzelm | improved error msg; | changeset | files |
| Fri, 21 Jul 2000 18:11:54 +0200 | nipkow | added ex_someI | changeset | files |
| Fri, 21 Jul 2000 18:01:36 +0200 | paulson | much tidying in connection with the 2nd UNITY paper | changeset | files |