Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-check
changeset 13991 b289ab046d3b
parent 13989 1a3782a12d47
child 13992 93769c6c85d7 
--- a/Admin/isatest-check	Fri May 09 12:02:57 2003 +0200
+++ b/Admin/isatest-check	Fri May 09 12:08:00 2003 +0200
@@ -27,7 +27,7 @@
 ERRORLOG=$HOME/var/error.log
 
 # where the test-still-running files are
-RUNNING=$HOME/var/run/
+RUNNING=$HOME/var/running
 
 # tmp file for sending mail
 TMP=/tmp/isatest-makedist.$$
isabelle