
diff -r c46ff0efa1ce -r 941915a3b811 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed May 19 11:54:58 2021 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Wed May 19 13:00:42 2021 +0200
@@ -1911,7 +1911,7 @@
 
 text \<open>
   Citations are managed by {\LaTeX} and Bib{\TeX} in \<^verbatim>\<open>.bib\<close> files. The
-  Isabelle session build process and the @{tool latex} tool @{cite
+  Isabelle session build process and the @{tool document} tool @{cite
   "isabelle-system"} are smart enough to assemble the result, based on the
   session directory layout.
 




