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
|
Fri, 27 Oct 1995 12:21:02 +0100 |
clasohm |
added optional parameters
|
file |
diff |
annotate
|
Thu, 26 Oct 1995 13:53:00 +0100 |
clasohm |
renamed logics.html to index.html;
|
file |
diff |
annotate
|
Thu, 26 Oct 1995 12:49:02 +0100 |
clasohm |
removed buggy FTP scripts and replaced them by a script for transfer
|
file |
diff |
annotate
|