Wed, 21 Nov 2007 14:43:50 +0100 | wenzelm | intern_skolem: disallow qualified names; | changeset | files |
Wed, 21 Nov 2007 14:18:23 +0100 | haftmann | fixed | changeset | files |
Wed, 21 Nov 2007 13:42:31 +0100 | haftmann | dropped diagnostic commands | changeset | files |