equal
deleted
inserted
replaced
152 /* line context */ |
152 /* line context */ |
153 |
153 |
154 private val context_rules = new ParserRuleSet("bibtex", "MAIN") |
154 private val context_rules = new ParserRuleSet("bibtex", "MAIN") |
155 |
155 |
156 private class Line_Context(context: Option[Bibtex.Line_Context]) |
156 private class Line_Context(context: Option[Bibtex.Line_Context]) |
157 extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context](context_rules, context, 0) |
157 extends Token_Markup.Generic_Line_Context[Bibtex.Line_Context]( |
|
158 context_rules, context, Outer_Syntax.Line_Nesting.init) |
158 |
159 |
159 |
160 |
160 /* token marker */ |
161 /* token marker */ |
161 |
162 |
162 class Token_Marker extends TokenMarker |
163 class Token_Marker extends TokenMarker |