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.
tuned
authorkleing
Thu, 20 Jun 2002 22:17:15 +0200
changeset 13232 8b1b5e8c4bd6
parent 13231 cce28efb2600
child 13233 5ab7bac534c9
tuned
Admin/isatest-makeall file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makeall	Thu Jun 20 21:45:14 2002 +0200
+++ b/Admin/isatest-makeall	Thu Jun 20 22:17:15 2002 +0200
@@ -8,7 +8,7 @@
 #              Send email if it fails.
 
 ## global settings
-LOGPREFIX=~
+LOGPREFIX=~/log
 
 ## diagnostics
isabelle