changeset 74002 | f2d16e75bcf1 |
parent 73987 | fc363a3b690a |
child 74427 | 011ecb267e41 |
--- 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>