# HG changeset patch
# User wenzelm
# Date 1598131880 -7200
# Node ID 957bf00eff2a817ed3ac776aae543a8954cdb1d4
# Parent  6dba090358d26b9138b270b262d42e9d685dfe0f
proper name (amending 742d94015918);

diff -r 6dba090358d2 -r 957bf00eff2a src/Doc/System/Scala.thy
--- a/src/Doc/System/Scala.thy	Sat Aug 22 23:22:25 2020 +0200
+++ b/src/Doc/System/Scala.thy	Sat Aug 22 23:31:20 2020 +0200
@@ -53,7 +53,7 @@
     Particular Isabelle/Scala services require particular subclasses:
     instances are filtered according to their dynamic type. For example, class
     \<^scala_type>\<open>isabelle.Isabelle_Scala_Tools\<close> collects Scala command-line
-    tools, and class \<^scala_type>\<open>isabelle.Isabelle_Scala_Functions\<close>
+    tools, and class \<^scala_type>\<open>isabelle.Scala.Functions\<close>
     collects Scala functions (\secref{sec:scala-functions}).
 \<close>
 
@@ -185,10 +185,10 @@
 text \<open>
   A Scala functions of type \<^scala_type>\<open>String => String\<close> may be wrapped as
   \<^scala_type>\<open>isabelle.Scala.Fun\<close> and collected via an instance of the
-  class \<^scala_type>\<open>isabelle.Isabelle_Scala_Functions\<close>. A system component
+  class \<^scala_type>\<open>isabelle.Scala.Functions\<close>. A system component
   can then register that class via \<^bash_function>\<open>isabelle_scala_service\<close>
   in \<^path>\<open>etc/settings\<close> (\secref{sec:components}). An example is the
-  predefined collection of \<^scala_type>\<open>isabelle.Functions\<close> in
+  predefined collection of \<^scala_type>\<open>isabelle.Scala.Functions\<close> in
   Isabelle/\<^verbatim>\<open>Pure.jar\<close> with the following line in
   \<^file>\<open>$ISABELLE_HOME/etc/settings\<close>:
   @{verbatim [display, indent = 2] \<open>isabelle_scala_service 'isabelle.Functions'\<close>}