# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1738434594 -3600
# Node ID 17436dc0d3d4331b22c5af50f6576d83039e36f5
# Parent  9bc4f982aef4ec5f0ab7db362a3b7a9d5b2a586b
tuned whitespace;

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>