author | blanchet |
Mon, 14 May 2012 15:54:26 +0200 | |
changeset 47919 | 1be466c58a26 |
parent 47745 | de249b5ae6e2 |
permissions | -rw-r--r-- |
47113
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
1 |
# -*- shell-script -*- :mode=shellscript: |
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
2 |
|
47745
de249b5ae6e2
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
wenzelm
parents:
47440
diff
changeset
|
3 |
ISABELLE_JDK_HOME="$COMPONENT/jdk1.6.0_31" |
47113
b5a5662528fb
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
wenzelm
parents:
40790
diff
changeset
|
4 |