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.
restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself
authorkrauss
Sun, 12 Aug 2012 23:13:43 +0200 (2012-08-12)
changeset 48785 1e384f729045
parent 48784 234702dc4f17
child 48786 2b08d10a2f75
child 48788 cea7f88c8084
restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself
Admin/mira.py file | annotate | diff | comparison | revisions 
--- 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
isabelle