# HG changeset patch
# User wenzelm
# Date 1658860542 -7200
# Node ID 953953504590a18c5aa143dba54ac365a5fc201a
# Parent  0a71b6c903e94e41d952dd1a2a3ce820021cc8ee
update documentation, following 21c1f82e7f5d;

diff -r 0a71b6c903e9 -r 953953504590 src/Doc/System/Presentation.thy
--- 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>