Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added specification of csh as script interpreter
authorclasohm
Fri, 03 Feb 1995 12:32:14 +0100
changeset 891 a5ad535a241a
parent 890 2b7275b13bef
child 892 d0dc8d057929
added specification of csh as script interpreter
src/Tools/runqed file | annotate | diff | comparison | revisions 
--- a/src/Tools/runqed	Thu Feb 02 13:11:51 1995 +0100
+++ b/src/Tools/runqed	Fri Feb 03 12:32:14 1995 +0100
@@ -1,3 +1,4 @@
+#!/bin/csh
 foreach n (*ML)
 qed $n $n:r.MLL
 mv $n $n:r.bak
isabelle