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 signature;
authorwenzelm
Sat, 22 Nov 2014 15:34:00 +0100
changeset 59033 9d5662acb19c
parent 59032 f36496364ce1
child 59034 c5cfead18464
tuned signature;
src/Pure/Isar/keyword.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/keyword.ML	Sat Nov 22 15:27:48 2014 +0100
+++ b/src/Pure/Isar/keyword.ML	Sat Nov 22 15:34:00 2014 +0100
@@ -48,6 +48,7 @@
   val is_document_heading: keywords -> string -> bool
   val is_document_body: keywords -> string -> bool
   val is_document_raw: keywords -> string -> bool
+  val is_document: keywords -> string -> bool
   val is_theory_begin: keywords -> string -> bool
   val is_theory_load: keywords -> string -> bool
   val is_theory: keywords -> string -> bool
isabelle