| Tue, 12 Jan 1999 12:17:53 +0100 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
| 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 |