| changeset 82033 | 17436dc0d3d4 |
| parent 82032 | 9bc4f982aef4 |
| child 82051 | 1be62b17bed9 |
--- 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>