| 1996-10-10 | paulson | New root file with more description, and merging LK and Modal to Sequents | file | diff | annotate |
| 1996-05-30 | nipkow | Regrouped logo | file | diff | annotate |
| 1996-05-29 | nipkow | Added logo | file | diff | annotate |
| 1996-04-24 | clasohm | removed David's private version (i.e. restored version 1.1) | file | diff | annotate |
| 1996-04-23 | oheimb | *** empty log message *** | file | diff | annotate |
| 1995-10-26 | clasohm | renamed logics.html and 00-chart.html to index.html | file | diff | annotate |