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.
adapted Mira configuration to dd04c8173bb2.
authorkrauss
Sun, 01 Apr 2012 21:12:04 +0200
changeset 47256 aabdd7765b64
parent 47255 30a1692557b0
child 47257 fd85c8a29827
child 47260 3b9eeb4a2967
adapted Mira configuration to dd04c8173bb2.
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Sun Apr 01 16:09:58 2012 +0200
+++ b/Admin/mira.py	Sun Apr 01 21:12:04 2012 +0200
@@ -59,7 +59,7 @@
 
 ISABELLE_USEDIR_OPTIONS="%s"
 
-[[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk"
+ISABELLE_JDK_HOME="$JAVA_HOME"
 Z3_NON_COMMERCIAL="yes"
 
 %s
isabelle