1995-02-28 | lcp | Added initial /bin/csh line and comments | file | diff | annotate |
1995-02-03 | clasohm | added specification of csh as script interpreter | file | diff | annotate |
1994-12-20 | clasohm | qed is a utility that makes ML files store the defined theories in Isabelle's | file | diff | annotate |