Tue, 27 May 1997 15:07:02 +0200 | mueller | Last changes for new release 94-8 | changeset | files |
Tue, 27 May 1997 14:38:49 +0200 | wenzelm | added 1.09.28 note; | changeset | files |
Tue, 27 May 1997 13:26:42 +0200 | paulson | New theorems suggested by Florian Kammueller | changeset | files |