| Mon, 03 Nov 1997 11:48:29 +0100 | wenzelm | do not overwrite backup files; | file | diff | annotate |
| Fri, 10 Oct 1997 17:38:50 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Oct 1997 14:51:58 +0200 | wenzelm | tuned; | 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 |