equal
deleted
inserted
replaced
6 |
6 |
7 text {* Isabelle/ML and Isabelle/Scala are the two main language |
7 text {* Isabelle/ML and Isabelle/Scala are the two main language |
8 environments for Isabelle tool implementations. There are some basic |
8 environments for Isabelle tool implementations. There are some basic |
9 command-line tools to work with the underlying Java Virtual Machine, |
9 command-line tools to work with the underlying Java Virtual Machine, |
10 the Scala toplevel and compiler. Note that Isabelle/jEdit |
10 the Scala toplevel and compiler. Note that Isabelle/jEdit |
11 (\secref{sec:tool-tty}) provides a Scala Console for interactive |
11 \cite{isabelle-jedit} provides a Scala Console for interactive |
12 experimentation within the running application. *} |
12 experimentation within the running application. *} |
13 |
13 |
14 |
14 |
15 section {* Java Runtime Environment within Isabelle \label{sec:tool-java} *} |
15 section {* Java Runtime Environment within Isabelle \label{sec:tool-java} *} |
16 |
16 |
64 be added to the Java classpath the @{verbatim classpath} Bash |
64 be added to the Java classpath the @{verbatim classpath} Bash |
65 function that is provided by the Isabelle process environment. Thus |
65 function that is provided by the Isabelle process environment. Thus |
66 add-on components can register themselves in a modular manner, see |
66 add-on components can register themselves in a modular manner, see |
67 also \secref{sec:components}. |
67 also \secref{sec:components}. |
68 |
68 |
69 Note that jEdit (\secref{sec:tool-jedit}) has its own mechanisms for |
69 Note that jEdit \cite{isabelle-jedit} has its own mechanisms for |
70 adding plugin components, which needs special attention since |
70 adding plugin components, which needs special attention since |
71 it overrides the standard Java class loader. *} |
71 it overrides the standard Java class loader. *} |
72 |
72 |
73 |
73 |
74 section {* Scala script wrapper *} |
74 section {* Scala script wrapper *} |