--- a/src/Doc/System/Presentation.thy Tue Jul 26 19:06:03 2022 +0200
+++ b/src/Doc/System/Presentation.thy Tue Jul 26 20:35:42 2022 +0200
@@ -186,8 +186,7 @@
Further engines can be defined by add-on components in Isabelle/Scala
(\secref{sec:scala-build}), providing a service class derived from
- \<^scala_type>\<open>isabelle.Document_Build.Engine\<close>. Available classes are listed
- in \<^scala>\<open>isabelle.Document_Build.engines\<close>.
+ \<^scala_type>\<open>isabelle.Document_Build.Engine\<close>.
\<close>