equal
deleted
inserted
replaced
48 val QUASI_COMMAND = "quasi_command" |
48 val QUASI_COMMAND = "quasi_command" |
49 |
49 |
50 |
50 |
51 /* command categories */ |
51 /* command categories */ |
52 |
52 |
53 val vacous = Set(DIAG, DOCUMENT_HEADING, DOCUMENT_BODY, DOCUMENT_RAW) |
53 val vacuous = Set(DIAG, DOCUMENT_HEADING, DOCUMENT_BODY, DOCUMENT_RAW) |
54 |
54 |
55 val diag = Set(DIAG) |
55 val diag = Set(DIAG) |
56 |
56 |
57 val document_heading = Set(DOCUMENT_HEADING) |
57 val document_heading = Set(DOCUMENT_HEADING) |
58 val document_body = Set(DOCUMENT_BODY) |
58 val document_body = Set(DOCUMENT_BODY) |