216 text \<open> |
216 text \<open> |
217 Isabelle/jEdit is normally invoked as standalone application, with |
217 Isabelle/jEdit is normally invoked as standalone application, with |
218 platform-specific executable wrappers for Linux, Windows, Mac OS X. |
218 platform-specific executable wrappers for Linux, Windows, Mac OS X. |
219 Nonetheless it is occasionally useful to invoke the Prover IDE on the |
219 Nonetheless it is occasionally useful to invoke the Prover IDE on the |
220 command-line, with some extra options and environment settings as explained |
220 command-line, with some extra options and environment settings as explained |
221 below. The command-line usage of @{tool_def jedit} is as follows: |
221 below. |
|
222 |
|
223 \<^medskip> |
|
224 The command-line usage of @{tool_def jedit} is as follows: |
222 @{verbatim [display] |
225 @{verbatim [display] |
223 \<open>Usage: isabelle jedit [OPTIONS] [FILES ...] |
226 \<open>Usage: isabelle jedit [OPTIONS] [FILES ...] |
224 |
227 |
225 Options are: |
228 Options are: |
226 -J OPTION add JVM runtime option |
229 -J OPTION add JVM runtime option |
259 |
262 |
260 The \<^verbatim>\<open>-b\<close> and \<^verbatim>\<open>-f\<close> options control the self-build mechanism of |
263 The \<^verbatim>\<open>-b\<close> and \<^verbatim>\<open>-f\<close> options control the self-build mechanism of |
261 Isabelle/jEdit. This is only relevant for building from sources, which also |
264 Isabelle/jEdit. This is only relevant for building from sources, which also |
262 requires an auxiliary \<^verbatim>\<open>jedit_build\<close> component from @{url |
265 requires an auxiliary \<^verbatim>\<open>jedit_build\<close> component from @{url |
263 "http://isabelle.in.tum.de/components"}. The official Isabelle release |
266 "http://isabelle.in.tum.de/components"}. The official Isabelle release |
264 already includes a pre-built version of Isabelle/jEdit. \<close> |
267 already includes a pre-built version of Isabelle/jEdit. |
|
268 |
|
269 \<^medskip> |
|
270 It is also possible to connect to an already running Isabelle/jEdit process |
|
271 via @{tool_def jedit_client}: |
|
272 @{verbatim [display] |
|
273 \<open>Usage: isabelle jedit_client [OPTIONS] [FILES ...] |
|
274 |
|
275 Options are: |
|
276 -c only check presence of server |
|
277 -n only report server name |
|
278 -s NAME server name (default Isabelle) |
|
279 |
|
280 Connect to already running Isabelle/jEdit instance and open FILES\<close>} |
|
281 |
|
282 The \<^verbatim>\<open>-c\<close> option merely checks the presence of the server, producing a |
|
283 process return code. |
|
284 |
|
285 The \<^verbatim>\<open>-n\<close> option reports the server name, and the \<^verbatim>\<open>-s\<close> option provides a |
|
286 different server name. The default server name is the official distribution |
|
287 name (e.g.\ \<^verbatim>\<open>Isabelle2016\<close>). Thus @{tool jedit_client} can connect to the |
|
288 main Isabelle application without further options. |
|
289 |
|
290 The regular jEdit command line option \<^verbatim>\<open>-server\<close> allows to provide a |
|
291 different name, e.g.\ \<^verbatim>\<open>isabelle jedit -j-server=\<close>\<open>name\<close>. To connect to such |
|
292 an alternative server process with @{tool jedit_client} requires a |
|
293 corresponding option \<^verbatim>\<open>-s\<close>~\<open>name\<close>. |
|
294 \<close> |
265 |
295 |
266 |
296 |
267 chapter \<open>Augmented jEdit functionality\<close> |
297 chapter \<open>Augmented jEdit functionality\<close> |
268 |
298 |
269 section \<open>GUI rendering\<close> |
299 section \<open>GUI rendering\<close> |