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.
proper example;
authorwenzelm
Thu, 15 Jul 2021 22:28:26 +0200
changeset 74002 f2d16e75bcf1
parent 74001 118057a1093b
child 74003 e6e49f9cafd8
proper example;
src/Doc/System/Environment.thy file | annotate | diff | comparison | revisions 
--- a/src/Doc/System/Environment.thy	Thu Jul 15 22:14:11 2021 +0200
+++ b/src/Doc/System/Environment.thy	Thu Jul 15 22:28:26 2021 +0200
@@ -459,7 +459,7 @@
 text \<open>
   The subsequent example creates a raw Java process on the command-line and
   invokes the main Isabelle application entry point:
-  @{verbatim [display] \<open>isabelle_java isabelle.jedit.Main\<close>}
+  @{verbatim [display] \<open>isabelle_java -Djava.awt.headless=false isabelle.jedit.Main\<close>}
 \<close>
isabelle