Thu, 20 Mar 1997 18:27:05 +0100 | wenzelm | exit_use_dir; | file | diff | annotate |
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 |