
diff -r 9bc4f982aef4 -r 17436dc0d3d4 src/Doc/System/Presentation.thy
--- a/src/Doc/System/Presentation.thy	Sat Feb 01 19:23:08 2025 +0100
+++ b/src/Doc/System/Presentation.thy	Sat Feb 01 19:29:54 2025 +0100
@@ -202,6 +202,7 @@
   @{verbatim [display] \<open>isabelle document -v -V -O. FOL\<close>}
 \<close>
 
+
 section \<open>Full-text search for formal theory content\<close>
 
 text \<open>




