Tue, 25 Oct 2005 18:18:49 +0200 | wenzelm | avoid legacy goals; | changeset | files |
Sat, 22 Oct 2005 01:22:10 +0200 | wenzelm | legacy = ref true for the time being -- avoid volumious warnings; | changeset | files |
Fri, 21 Oct 2005 18:20:29 +0200 | wenzelm | tuned; | changeset | files |