--- a/doc-src/System/Thy/document/Scala.tex Mon Jul 30 13:48:56 2012 +0200
+++ b/doc-src/System/Thy/document/Scala.tex Mon Jul 30 14:11:29 2012 +0200
@@ -37,8 +37,8 @@
\isamarkuptrue%
%
\begin{isamarkuptext}%
-The Isabelle \indexdef{}{tool}{java}\hypertarget{tool.java}{\hyperlink{tool.java}{\mbox{\isa{\isatt{java}}}}} utility is a direct wrapper for
- the Java Runtime Environment, within the regular Isabelle settings
+The \indexdef{}{tool}{java}\hypertarget{tool.java}{\hyperlink{tool.java}{\mbox{\isa{\isatool{java}}}}} tool is a direct wrapper for the Java
+ Runtime Environment, within the regular Isabelle settings
environment (\secref{sec:settings}). The command line arguments are
that of the underlying Java version. It is run in \verb|-server| mode if possible, to improve performance (at the cost of
extra startup time).
@@ -62,9 +62,9 @@
\isamarkuptrue%
%
\begin{isamarkuptext}%
-The Isabelle \indexdef{}{tool}{scala}\hypertarget{tool.scala}{\hyperlink{tool.scala}{\mbox{\isa{\isatt{scala}}}}} utility is a direct wrapper for
- the Scala toplevel; see also \hyperlink{tool.java}{\mbox{\isa{\isatt{java}}}} above. The command line
- arguments are that of the underlying Scala version.
+The \indexdef{}{tool}{scala}\hypertarget{tool.scala}{\hyperlink{tool.scala}{\mbox{\isa{\isatool{scala}}}}} tool is a direct wrapper for the Scala
+ toplevel; see also \hyperlink{tool.java}{\mbox{\isa{\isatool{java}}}} above. The command line arguments
+ are that of the underlying Scala version.
This allows to interact with Isabelle/Scala in TTY mode like this:
\begin{alltt}
@@ -80,9 +80,9 @@
\isamarkuptrue%
%
\begin{isamarkuptext}%
-The Isabelle \indexdef{}{tool}{scalac}\hypertarget{tool.scalac}{\hyperlink{tool.scalac}{\mbox{\isa{\isatt{scalac}}}}} utility is a direct wrapper
- for the Scala compiler; see also \hyperlink{tool.scala}{\mbox{\isa{\isatt{scala}}}} above. The command
- line arguments are that of the underlying Scala version.
+The \indexdef{}{tool}{scalac}\hypertarget{tool.scalac}{\hyperlink{tool.scalac}{\mbox{\isa{\isatool{scalac}}}}} tool is a direct wrapper for the Scala
+ compiler; see also \hyperlink{tool.scala}{\mbox{\isa{\isatool{scala}}}} above. The command line arguments
+ are that of the underlying Scala version.
This allows to compile further Scala modules, depending on existing
Isabelle/Scala functionality. The resulting class or jar files can