| Mon, 09 Dec 1996 16:38:07 +0100 | wenzelm | added -norc option; | file | diff | annotate |
| Wed, 04 Dec 1996 13:06:30 +0100 | wenzelm | improved 'not found' messages; | file | diff | annotate |
| Mon, 02 Dec 1996 18:13:28 +0100 | wenzelm | isabelle: Basic Isabelle startup script. | file | diff | annotate |