| Fri, 02 Jan 1998 13:24:53 +0100 | wenzelm | do require perl; | file | diff | annotate |
| Fri, 10 Oct 1997 14:51:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 09 Oct 1997 18:01:27 +0200 | wenzelm | \n at end; | file | diff | annotate |
| Thu, 09 Oct 1997 17:45:03 +0200 | wenzelm | ensure that dots in formulas are followed by non-idents; | file | diff | annotate |