# HG changeset patch
# User wenzelm
# Date 1407167597 -7200
# Node ID 4a5d335a6fc7653c6cb0021425d6a93188a4569d
# Parent  eb8084a659194913a41b0d03dd3f83e4278576f4
tuned;

diff -r eb8084a65919 -r 4a5d335a6fc7 src/Doc/System/Scala.thy
--- 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}.