Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/keyword.ML
changeset 59033 9d5662acb19c
parent 58999 ed09ae4ea2d8
child 59123 e68e44836d04 
--- 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