equal
deleted
inserted
replaced
124 val LANGUAGE = "language" |
124 val LANGUAGE = "language" |
125 object Language |
125 object Language |
126 { |
126 { |
127 val ML = "ML" |
127 val ML = "ML" |
128 val SML = "SML" |
128 val SML = "SML" |
|
129 val PATH = "path" |
129 val UNKNOWN = "unknown" |
130 val UNKNOWN = "unknown" |
130 |
131 |
131 def unapply(markup: Markup): Option[(String, Boolean, Boolean, Boolean)] = |
132 def unapply(markup: Markup): Option[(String, Boolean, Boolean, Boolean)] = |
132 markup match { |
133 markup match { |
133 case Markup(LANGUAGE, props) => |
134 case Markup(LANGUAGE, props) => |