Tue, 18 Jun 1996 16:18:44 +0200 | paulson | Removal of list_all | changeset | files |
Tue, 18 Jun 1996 16:17:38 +0200 | paulson | Translation infixes <->, etc., no longer available at top-level | changeset | files |
Mon, 17 Jun 1996 16:51:47 +0200 | paulson | Inserted comment about problem 43 | changeset | files |