Mon, 16 Dec 1996 09:59:18 +0100 | wenzelm | added symbolinput filter; | file | diff | annotate |
Fri, 13 Dec 1996 17:48:03 +0100 | wenzelm | now discgarb called only for changed databases; | file | diff | annotate |
Mon, 09 Dec 1996 16:42:24 +0100 | wenzelm | various fixes; | file | diff | annotate |
Wed, 04 Dec 1996 13:18:26 +0100 | wenzelm | replaced cat by ucat; | file | diff | annotate |
Mon, 02 Dec 1996 18:24:01 +0100 | wenzelm | run-polyml: Poly/ML startup script. | file | diff | annotate |