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.
minimal Java source version for jdk-10.0.1;
authorwenzelm
Fri, 20 Apr 2018 11:44:09 +0200
changeset 68014 9096895dc2a6
parent 68013 7a30a3cc2763
child 68015 a39473b19ee1
minimal Java source version for jdk-10.0.1;
lib/browser/build file | annotate | diff | comparison | revisions 
--- a/lib/browser/build	Fri Apr 20 11:41:09 2018 +0200
+++ b/lib/browser/build	Fri Apr 20 11:44:09 2018 +0200
@@ -63,7 +63,7 @@
 
   rm -rf classes && mkdir classes
 
-  isabelle_jdk javac -d classes -source 1.4 "${SOURCES[@]}" || \
+  isabelle_jdk javac -d classes -source 1.6 "${SOURCES[@]}" || \
     fail "Failed to compile sources"
   isabelle_jdk jar cf "$(platform_path "$TARGET")" -C classes . ||
     fail "Failed to produce $TARGET"
isabelle