--- a/src/Doc/System/Scala.thy Mon Aug 04 10:48:35 2014 +0200
+++ b/src/Doc/System/Scala.thy Mon Aug 04 17:53:17 2014 +0200
@@ -61,7 +61,7 @@
This allows to compile further Scala modules, depending on existing
Isabelle/Scala functionality. The resulting class or jar files can
- be added to the Java classpath the @{verbatim classpath} Bash
+ be added to the Java classpath using the @{verbatim classpath} Bash
function that is provided by the Isabelle process environment. Thus
add-on components can register themselves in a modular manner, see
also \secref{sec:components}.