| Tue, 28 Feb 1995 10:54:49 +0100 | lcp | Added initial /bin/csh line and comments | file | diff | annotate |
| Fri, 03 Feb 1995 12:32:14 +0100 | clasohm | added specification of csh as script interpreter | file | diff | annotate |
| Tue, 20 Dec 1994 13:24:04 +0100 | clasohm | qed is a utility that makes ML files store the defined theories in Isabelle's | file | diff | annotate |