| Wed, 13 Sep 2000 22:27:26 +0200 | wenzelm | updated to 3.3d; | changeset | files |
| Wed, 13 Sep 2000 22:27:10 +0200 | wenzelm | tar packages: /usr/local; | changeset | files |
| Wed, 13 Sep 2000 18:47:30 +0200 | paulson | more integer theorems, better simplification | changeset | files |