Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorFabian Huch <huch@in.tum.de>
Sat, 01 Feb 2025 19:29:54 +0100
changeset 82033 17436dc0d3d4
parent 82032 9bc4f982aef4
child 82037 cb121d499f11
child 82038 42fe486d38d5
tuned whitespace;
src/Doc/System/Presentation.thy file | annotate | diff | comparison | revisions 
--- 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>
isabelle