equal
deleted
inserted
replaced
78 val ANTIQ = "antiq" |
78 val ANTIQ = "antiq" |
79 val ML_ANTIQ = "ML_antiq" |
79 val ML_ANTIQ = "ML_antiq" |
80 val DOC_ANTIQ = "doc_antiq" |
80 val DOC_ANTIQ = "doc_antiq" |
81 |
81 |
82 |
82 |
|
83 /* ML syntax */ |
|
84 |
|
85 val ML_KEYWORD = "ML_keyword" |
|
86 val ML_IDENT = "ML_ident" |
|
87 val ML_TVAR = "ML_tvar" |
|
88 val ML_NUMERAL = "ML_numeral" |
|
89 val ML_CHAR = "ML_char" |
|
90 val ML_STRING = "ML_string" |
|
91 val ML_COMMENT = "ML_comment" |
|
92 val ML_MALFORMED = "ML_malformed" |
|
93 |
|
94 |
83 /* outer syntax */ |
95 /* outer syntax */ |
84 |
96 |
85 val KEYWORD_DECL = "keyword_decl" |
97 val KEYWORD_DECL = "keyword_decl" |
86 val COMMAND_DECL = "command_decl" |
98 val COMMAND_DECL = "command_decl" |
87 |
99 |