# HG changeset patch
# User wenzelm
# Date 1627120594 -7200
# Node ID 54a11c37d5bc68e0b573309b804c717ac460e8c7
# Parent  f34d54b0e5de0d469b5983a68ab0435bc3c658f5
tuned document;

diff -r f34d54b0e5de -r 54a11c37d5bc src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Fri Jul 23 10:32:34 2021 +0200
+++ b/src/Doc/System/Scala.thy	Sat Jul 24 11:56:34 2021 +0200
@@ -187,12 +187,12 @@
     compilation process, but not provided by the regular classpath (notably
     @{setting ISABELLE_CLASSPATH}).
 
-    A \emph{normal entry} refers to a single \<^verbatim>\<open>jar\<close> file name, possibly with
+    A \<^emph>\<open>normal entry\<close> refers to a single \<^verbatim>\<open>jar\<close> file name, possibly with
     settings variables as usual. E.g. \<^file>\<open>$ISABELLE_SCALA_JAR\<close> for the main
     \<^file>\<open>$ISABELLE_HOME/lib/classes/isabelle.jar\<close> (especially relevant for
     add-on modules).
 
-    A \emph{special entry} is of of the form \<^verbatim>\<open>env:\<close>\<open>variable\<close> and refers to a
+    A \<^emph>\<open>special entry\<close> is of of the form \<^verbatim>\<open>env:\<close>\<open>variable\<close> and refers to a
     settings variable from the Isabelle environment: its value may consist of
     multiple \<^verbatim>\<open>jar\<close> entries (separated by colons). Environment variables are
     not expanded recursively.