| Wed, 10 May 2000 13:36:27 +0200 | paulson | new default simprule for better compatibility with old setup | changeset | files |
| Wed, 10 May 2000 11:17:01 +0200 | paulson | tidied | changeset | files |
| Wed, 10 May 2000 01:13:43 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | changeset | files |
| Tue, 09 May 2000 16:05:30 +0200 | wenzelm | added semicolons; | changeset | files |
| Tue, 09 May 2000 15:10:25 +0200 | wenzelm | updated keywords; | changeset | files |
| Tue, 09 May 2000 14:33:43 +0200 | wenzelm | named "op ^" definitions; | changeset | files |