| Thu, 20 Mar 1997 11:29:59 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 18 Mar 1997 14:35:10 +0100 | wenzelm | fixed Tools path; | file | diff | annotate |
| Mon, 25 Nov 1996 08:25:39 +0100 | nipkow | Replaced LK&Modal by Sequents | file | diff | annotate |
| Tue, 12 Nov 1996 13:20:36 +0100 | nipkow | Now moves all Tool/*gif files. | file | diff | annotate |
| Thu, 01 Feb 1996 12:08:43 +0100 | clasohm | fixed two little bugs | file | diff | annotate |
| Fri, 15 Dec 1995 12:23:56 +0100 | clasohm | added chmod and chgrp | file | diff | annotate |
| Tue, 21 Nov 1995 12:40:04 +0100 | clasohm | added local index.html files to rm_html.sh; | file | diff | annotate |