--- a/src/Doc/System/Scala.thy Fri Aug 12 17:49:02 2016 +0200
+++ b/src/Doc/System/Scala.thy Fri Aug 12 17:53:55 2016 +0200
@@ -88,8 +88,8 @@
This assumes that the executable may be found via the @{setting PATH} from
the process environment: this is the case when Isabelle settings are active,
e.g.\ in the context of the main Isabelle tool wrapper
- \secref{sec:isabelle-tool}. Alternatively, the full @{file
- "$ISABELLE_HOME/bin/isabelle_scala_script"} may be specified in expanded
+ \secref{sec:isabelle-tool}. Alternatively, the full
+ \<^file>\<open>$ISABELLE_HOME/bin/isabelle_scala_script\<close> may be specified in expanded
form.
\<close>