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.
use different log server (macbroy23 down)
authorkleing
Wed, 14 Jul 2010 19:10:23 +0100
changeset 37834 c78327288b50
parent 37833 1381665d9550
child 37835 d8fdbcbde4b6
use different log server (macbroy23 down)
Admin/isatest/isatest-settings file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-settings	Wed Jul 14 17:27:54 2010 +0200
+++ b/Admin/isatest/isatest-settings	Wed Jul 14 19:10:23 2010 +0100
@@ -15,7 +15,7 @@
 
 LOGPREFIX=$HOME/log
 MASTERLOG=$LOGPREFIX/isatest.log
-LOGSERVER=macbroy23.informatik.tu-muenchen.de
+LOGSERVER=macbroy28.informatik.tu-muenchen.de
 
 ERRORDIR=$HOME/var
 ERRORLOG=$ERRORDIR/error.log
isabelle