| Wed, 27 Nov 1996 10:31:05 +0100 | paulson | Makefile improvements by Thomas Santen and Stephan Herrmann | file | diff | annotate |
| Mon, 21 Oct 1996 11:18:34 +0200 | paulson | ISABELLECOMP may now have a leading pathname | file | diff | annotate |
| Tue, 15 Oct 1996 10:46:42 +0200 | paulson | Removed extraneous spaces from all Makefiles | file | diff | annotate |
| Wed, 09 Oct 1996 13:32:33 +0200 | paulson | New unified treatment of sequent calculi by Sara Kalvala | file | diff | annotate |