55 (SUBPARAGRAPH, Some(((Keyword.DOCUMENT_HEADING, Nil), Nil)), None), |
55 (SUBPARAGRAPH, Some(((Keyword.DOCUMENT_HEADING, Nil), Nil)), None), |
56 (TEXT, Some(((Keyword.DOCUMENT_BODY, Nil), Nil)), None), |
56 (TEXT, Some(((Keyword.DOCUMENT_BODY, Nil), Nil)), None), |
57 (TXT, Some(((Keyword.DOCUMENT_BODY, Nil), Nil)), None), |
57 (TXT, Some(((Keyword.DOCUMENT_BODY, Nil), Nil)), None), |
58 (TEXT_RAW, Some(((Keyword.DOCUMENT_RAW, Nil), Nil)), None), |
58 (TEXT_RAW, Some(((Keyword.DOCUMENT_RAW, Nil), Nil)), None), |
59 (THEORY, Some((Keyword.THY_BEGIN, Nil), List("theory")), None), |
59 (THEORY, Some((Keyword.THY_BEGIN, Nil), List("theory")), None), |
60 ("ML_file", Some((Keyword.THY_LOAD, Nil), List("ML")), None), |
60 ("ML", Some((Keyword.THY_DECL, Nil), List("ML")), None)) |
61 ("ML_file_debug", Some((Keyword.THY_LOAD, Nil), List("ML")), None), |
|
62 ("ML_file_no_debug", Some((Keyword.THY_LOAD, Nil), List("ML")), None)) |
|
63 |
61 |
64 private val bootstrap_keywords = |
62 private val bootstrap_keywords = |
65 Keyword.Keywords.empty.add_keywords(bootstrap_header) |
63 Keyword.Keywords.empty.add_keywords(bootstrap_header) |
66 |
64 |
67 lazy val bootstrap_syntax: Outer_Syntax = |
65 lazy val bootstrap_syntax: Outer_Syntax = |