src/Pure/Isar/keyword.ML
changeset 67139 8fe0aba577af
parent 63441 4c3fa4dba79f
child 69913 ca515cf61651
     1.1 --- a/src/Pure/Isar/keyword.ML	Tue Dec 05 15:29:37 2017 +0100
     1.2 +++ b/src/Pure/Isar/keyword.ML	Tue Dec 05 15:55:14 2017 +0100
     1.3 @@ -38,6 +38,8 @@
     1.4    val no_spec: spec
     1.5    val before_command_spec: spec
     1.6    val quasi_command_spec: spec
     1.7 +  val document_heading_spec: spec
     1.8 +  val document_body_spec: spec
     1.9    type keywords
    1.10    val minor_keywords: keywords -> Scan.lexicon
    1.11    val major_keywords: keywords -> Scan.lexicon
    1.12 @@ -127,6 +129,8 @@
    1.13  val no_spec: spec = (("", []), []);
    1.14  val before_command_spec: spec = ((before_command, []), []);
    1.15  val quasi_command_spec: spec = ((quasi_command, []), []);
    1.16 +val document_heading_spec: spec = (("document_heading", []), ["document"]);
    1.17 +val document_body_spec: spec = (("document_body", []), ["document"]);
    1.18  
    1.19  type entry =
    1.20   {pos: Position.T,