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.
proper chapter_definition to prevent odd definitions by users;
authorwenzelm
Sat, 27 Aug 2022 17:11:39 +0200
changeset 76004 152c5c83c119
parent 76003 a84e9594ec7e
child 76005 a9bbf075f431
proper chapter_definition to prevent odd definitions by users;
ROOT file | annotate | diff | comparison | revisions 
--- a/ROOT	Sat Aug 27 16:33:57 2022 +0200
+++ b/ROOT	Sat Aug 27 17:11:39 2022 +0200
@@ -37,3 +37,8 @@
   description "
     Sources of Documentation.
   "
+
+chapter_definition Unsorted
+  description "
+    Sessions without 'chapter' declaration.
+  "
isabelle