Mercurial Mercurial > repos > isabelle / comparison
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
equal deleted inserted replaced
13990:506102b6a6d4 13991:b289ab046d3b 
    25 
    25 
    26 # where the error log is
 
    26 # where the error log is
 
    27 ERRORLOG=$HOME/var/error.log
 
    27 ERRORLOG=$HOME/var/error.log
 
    28 
    28 
    29 # where the test-still-running files are
 
    29 # where the test-still-running files are
 
    30 RUNNING=$HOME/var/run/
 
    30 RUNNING=$HOME/var/running
 
    31 
    31 
    32 # tmp file for sending mail
 
    32 # tmp file for sending mail
 
    33 TMP=/tmp/isatest-makedist.$$
 
    33 TMP=/tmp/isatest-makedist.$$
 
    34 
    34 
    35 
    35
isabelle