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