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