| 2005-03-07 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| 2004-11-14 | webertj | DOCTYPE declaration added | file | diff | annotate |
| 1998-08-27 | wenzelm | weblinted, tuned; | file | diff | annotate |
| 1997-05-21 | wenzelm | tuned all READMEs; | file | diff | annotate |
| 1996-10-09 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |