| Mon, 17 Jan 2000 15:02:18 +0100 | wenzelm | Contents: suppress comments; | file | diff | annotate |
| Mon, 12 May 1997 18:43:24 +0200 | wenzelm | fixed ISABELLE_DOCS multiple components; | file | diff | annotate |
| Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |