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.
activate jdk-11
authorwenzelm
Sat, 06 Oct 2018 20:49:40 +0200
changeset 69132 9dabb405a3ba
parent 69131 78691a87937c
child 69133 22fe10b4c0c6
activate jdk-11
Admin/Windows/launch4j/isabelle.xml file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/launch4j/isabelle.xml	Sat Oct 06 21:20:48 2018 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Sat Oct 06 20:49:40 2018 +0200
@@ -23,7 +23,7 @@
     <windowTitle>{ISABELLE_NAME}</windowTitle>
   </singleInstance>
   <jre>
-    <path>%EXEDIR%\contrib\jdk\x86_64-windows\jre</path>
+    <path>%EXEDIR%\contrib\jdk\x86_64-windows</path>
     <bundledJre64Bit>true</bundledJre64Bit>
     <bundledJreAsFallback>false</bundledJreAsFallback>
     <minVersion></minVersion>
--- a/Admin/components/main	Sat Oct 06 21:20:48 2018 +0200
+++ b/Admin/components/main	Sat Oct 06 20:49:40 2018 +0200
@@ -5,7 +5,7 @@
 cvc4-1.5-4
 e-2.0-2
 isabelle_fonts-20180113
-jdk-8u181
+jdk-11
 jedit_build-20180504
 jfreechart-1.5.0
 jortho-1.0-2
isabelle