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 for presentation;
authorwenzelm
Sat, 27 Aug 2022 15:29:02 +0200
changeset 76000 586cad415e2f
parent 75999 b831a0bdd751
child 76001 7032b0886f9a
tuned whitespace for presentation;
ROOT file | annotate | diff | comparison | revisions 
--- a/ROOT	Sat Aug 27 15:23:58 2022 +0200
+++ b/ROOT	Sat Aug 27 15:29:02 2022 +0200
@@ -29,7 +29,11 @@
   "
 
 chapter_definition Misc
-  description "Miscellaneous object-logics, tools, and experiments."
+  description "
+    Miscellaneous object-logics, tools, and experiments.
+  "
 
 chapter_definition Doc
-  description "Sources of Documentation."
+  description "
+    Sources of Documentation.
+  "
isabelle