Fri, 26 Oct 2001 14:02:58 +0200 | wenzelm | tuned notation; | changeset | files |
Fri, 26 Oct 2001 12:24:19 +0200 | wenzelm | tuned notation; | changeset | files |
Thu, 25 Oct 2001 22:59:11 +0200 | wenzelm | accomodate some recent changes of record package; | changeset | files |