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.
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
authorwenzelm
Thu, 07 Jan 2021 00:04:13 +0100
changeset 73092 131ab1a941dd
parent 73091 bf573ed376ef
child 73093 dc62ecc7e59a
try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Wed Jan 06 16:50:53 2021 +0100
+++ b/etc/settings	Thu Jan 07 00:04:13 2021 +0100
@@ -12,7 +12,7 @@
 ### Isabelle/Scala
 ###
 
-ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Djdk.gtk.version=2.2"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
 
 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
isabelle