# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1385049373 -3600
# Node ID 07c2812b9ff3191da303f2fe494bb1b9d9da0397
# Parent  ce872d7781d209b79251b19f1681a4772155581d
Isabelle2013 --> 2013-1: remove error "Duplicate session"

diff -r ce872d7781d2 -r 07c2812b9ff3 src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Thu Nov 21 11:46:00 2013 +0100
+++ b/src/Tools/isac/ROOT	Thu Nov 21 16:56:13 2013 +0100
@@ -5,7 +5,13 @@
 $ cd /usr/local/isabisac/
 $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
 
-see ~~/etc/settings
+# ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY
+~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac
+
+
+
+
+# generate browser info: see ~~/etc/settings
   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 before out-outcommenting (*, browser_info = true*) below and ...
 $ ./bin/isabelle build -o browser_info -v -c HOL