# HG changeset patch
# User krauss
# Date 1344806023 -7200
# Node ID 1e384f7290458212fc398ef5ad85d2e39a920539
# Parent  234702dc4f179642f1bff97896b35e48a0d29376
restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself

diff -r 234702dc4f17 -r 1e384f729045 Admin/mira.py
--- a/Admin/mira.py	Sun Aug 12 22:39:28 2012 +0200
+++ b/Admin/mira.py	Sun Aug 12 23:13:43 2012 +0200
@@ -33,7 +33,12 @@
     # patch settings
     extra_settings = '''
 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user"
+ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
+ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
+ISABELLE_PATH="$ISABELLE_OUTPUT"
+
 Z3_NON_COMMERCIAL="yes"
+
 source "${ISABELLE_HOME}/Admin/init_components"
 
 ''' + more_settings