src/Doc/System/Scala.thy
changeset 57855 4a5d335a6fc7
parent 57320 00f2c8d1aa0b
child 58553 3876a1a9ee42
equal deleted inserted replaced
57854:eb8084a65919 57855:4a5d335a6fc7
    59   compiler; see also @{tool scala} above.  The command line arguments
    59   compiler; see also @{tool scala} above.  The command line arguments
    60   are that of the underlying Scala version.
    60   are that of the underlying Scala version.
    61 
    61 
    62   This allows to compile further Scala modules, depending on existing
    62   This allows to compile further Scala modules, depending on existing
    63   Isabelle/Scala functionality.  The resulting class or jar files can
    63   Isabelle/Scala functionality.  The resulting class or jar files can
    64   be added to the Java classpath the @{verbatim classpath} Bash
    64   be added to the Java classpath using 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 \cite{isabelle-jedit} has its own mechanisms for
    69   Note that jEdit \cite{isabelle-jedit} has its own mechanisms for