src/Doc/System/Environment.thy
changeset 74002 f2d16e75bcf1
parent 73987 fc363a3b690a
child 74427 011ecb267e41
equal deleted inserted replaced
74001:118057a1093b 74002:f2d16e75bcf1
   457 subsubsection \<open>Example\<close>
   457 subsubsection \<open>Example\<close>
   458 
   458 
   459 text \<open>
   459 text \<open>
   460   The subsequent example creates a raw Java process on the command-line and
   460   The subsequent example creates a raw Java process on the command-line and
   461   invokes the main Isabelle application entry point:
   461   invokes the main Isabelle application entry point:
   462   @{verbatim [display] \<open>isabelle_java isabelle.jedit.Main\<close>}
   462   @{verbatim [display] \<open>isabelle_java -Djava.awt.headless=false isabelle.jedit.Main\<close>}
   463 \<close>
   463 \<close>
   464 
   464 
   465 
   465 
   466 section \<open>YXML versus XML \label{sec:yxml-vs-xml}\<close>
   466 section \<open>YXML versus XML \label{sec:yxml-vs-xml}\<close>
   467 
   467