| Thu, 10 Oct 1996 10:57:33 +0200 | paulson | New root file with more description, and merging LK and Modal to Sequents | file | diff | annotate |
| Thu, 30 May 1996 13:29:52 +0200 | nipkow | Regrouped logo | file | diff | annotate |
| Wed, 29 May 1996 13:53:39 +0200 | nipkow | Added logo | file | diff | annotate |
| Wed, 24 Apr 1996 11:20:57 +0200 | clasohm | removed David's private version (i.e. restored version 1.1) | file | diff | annotate |
| Tue, 23 Apr 1996 17:01:51 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
| Thu, 26 Oct 1995 13:44:24 +0100 | clasohm | renamed logics.html and 00-chart.html to index.html | file | diff | annotate |