--- a/Admin/isatest/isatest-settings Thu Jul 15 10:12:49 2010 +0200
+++ b/Admin/isatest/isatest-settings Thu Jul 15 10:16:17 2010 +0200
@@ -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
--- a/src/HOL/Imperative_HOL/Heap_Monad.thy Thu Jul 15 10:12:49 2010 +0200
+++ b/src/HOL/Imperative_HOL/Heap_Monad.thy Thu Jul 15 10:16:17 2010 +0200
@@ -537,6 +537,4 @@
hide_const (open) Heap heap guard raise' fold_map
-export_code return in Haskell file "/tmp/"
-
end