1.1 --- a/src/Doc/System/Scala.thy	Sat Dec 05 14:26:56 2015 +0100
     1.2 +++ b/src/Doc/System/Scala.thy	Sat Dec 05 16:09:41 2015 +0100
     1.3 @@ -2,19 +2,19 @@
     1.4  imports Base
     1.5  begin
     1.6  
     1.7 -chapter {* Isabelle/Scala development tools *}
     1.8 +chapter \<open>Isabelle/Scala development tools\<close>
     1.9  
    1.10 -text {* Isabelle/ML and Isabelle/Scala are the two main language
    1.11 +text \<open>Isabelle/ML and Isabelle/Scala are the two main language
    1.12  environments for Isabelle tool implementations.  There are some basic
    1.13  command-line tools to work with the underlying Java Virtual Machine,
    1.14  the Scala toplevel and compiler.  Note that Isabelle/jEdit
    1.15 -\cite{isabelle-jedit} provides a Scala Console for interactive
    1.16 -experimentation within the running application. *}
    1.17 +@{cite "isabelle-jedit"} provides a Scala Console for interactive
    1.18 +experimentation within the running application.\<close>
    1.19  
    1.20  
    1.21 -section {* Java Runtime Environment within Isabelle \label{sec:tool-java} *}
    1.22 +section \<open>Java Runtime Environment within Isabelle \label{sec:tool-java}\<close>
    1.23  
    1.24 -text {* The @{tool_def java} tool is a direct wrapper for the Java
    1.25 +text \<open>The @{tool_def java} tool is a direct wrapper for the Java
    1.26    Runtime Environment, within the regular Isabelle settings
    1.27    environment (\secref{sec:settings}).  The command line arguments are
    1.28    that of the underlying Java version.  It is run in @{verbatim
    1.29 @@ -33,12 +33,12 @@
    1.30  \begin{alltt}
    1.31    isabelle java isabelle.GUI_Setup
    1.32  \end{alltt}
    1.33 -*}
    1.34 +\<close>
    1.35  
    1.36  
    1.37 -section {* Scala toplevel \label{sec:tool-scala} *}
    1.38 +section \<open>Scala toplevel \label{sec:tool-scala}\<close>
    1.39  
    1.40 -text {* The @{tool_def scala} tool is a direct wrapper for the Scala
    1.41 +text \<open>The @{tool_def scala} tool is a direct wrapper for the Scala
    1.42    toplevel; see also @{tool java} above.  The command line arguments
    1.43    are that of the underlying Scala version.
    1.44  
    1.45 @@ -50,12 +50,12 @@
    1.46    scala> options.bool("browser_info")
    1.47    scala> options.string("document")
    1.48  \end{alltt}
    1.49 -*}
    1.50 +\<close>
    1.51  
    1.52  
    1.53 -section {* Scala compiler \label{sec:tool-scalac} *}
    1.54 +section \<open>Scala compiler \label{sec:tool-scalac}\<close>
    1.55  
    1.56 -text {* The @{tool_def scalac} tool is a direct wrapper for the Scala
    1.57 +text \<open>The @{tool_def scalac} tool is a direct wrapper for the Scala
    1.58    compiler; see also @{tool scala} above.  The command line arguments
    1.59    are that of the underlying Scala version.
    1.60  
    1.61 @@ -66,14 +66,14 @@
    1.62    add-on components can register themselves in a modular manner, see
    1.63    also \secref{sec:components}.
    1.64  
    1.65 -  Note that jEdit \cite{isabelle-jedit} has its own mechanisms for
    1.66 +  Note that jEdit @{cite "isabelle-jedit"} has its own mechanisms for
    1.67    adding plugin components, which needs special attention since
    1.68 -  it overrides the standard Java class loader.  *}
    1.69 +  it overrides the standard Java class loader.\<close>
    1.70  
    1.71  
    1.72 -section {* Scala script wrapper *}
    1.73 +section \<open>Scala script wrapper\<close>
    1.74  
    1.75 -text {* The executable @{executable
    1.76 +text \<open>The executable @{executable
    1.77    "$ISABELLE_HOME/bin/isabelle_scala_script"} allows to run
    1.78    Isabelle/Scala source files stand-alone programs, by using a
    1.79    suitable ``hash-bang'' line and executable file permissions.
    1.80 @@ -92,6 +92,6 @@
    1.81  
    1.82    Alternatively the full @{file
    1.83    "$ISABELLE_HOME/bin/isabelle_scala_script"} may be specified in
    1.84 -  expanded form.  *}
    1.85 +  expanded form.\<close>
    1.86  
    1.87  end