| 1996-11-27 | paulson | Makefile improvements by Thomas Santen and Stephan Herrmann | file | diff | annotate |
| 1996-10-21 | paulson | ISABELLECOMP may now have a leading pathname | file | diff | annotate |
| 1996-10-15 | paulson | Removed extraneous spaces from all Makefiles | file | diff | annotate |
| 1996-10-09 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |