# HG changeset patch
# User wenzelm
# Date 1416666840 -3600
# Node ID 9d5662acb19c6d7eca5d0bc5cac14ad104fa6771
# Parent  f36496364ce18722846c73b6520fff10b1b9fc61
tuned signature;

diff -r f36496364ce1 -r 9d5662acb19c src/Pure/Isar/keyword.ML
--- 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