Sha256: c25b7b8e006b1aa059e662d80a36b4adc4862653f1057a4722865d36f7df00f2
Contents?: true
Size: 1.79 KB
Versions: 20
Compression:
Stored size: 1.79 KB
Contents
{
"name": "Isabelle ROOT",
"scopeName": "source.isabelle.root",
"patterns": [
{
"name": "keyword.control",
"match": "\\b(chapter|session|in|description|options|global_theories|theories|files|document_files|sessions)\\b"
},
{
"name": "keyword.other.option",
"match": "\\b(browser_info|condition|document|document_graph|document_output|document_variants|eta_contract|goals_limit|names_long|names_short|names_unique|pretty_margin|print_mode|show_brackets|show_consts|show_main_goal|show_question_marks|show_sorts|show_types|thy_output_break|thy_output_display|thy_output_indent|thy_output_modes|thy_output_quotes|thy_output_source|timeout|global)\\b"
},
{
"name": "support.constant",
"match": "\\b(true|false)\\b"
},
{
"name": "meta.abandon-proof.false",
"match": "\\b(quick_and_dirty|skip_proofs)[ ]*(\\=)[ ]*(false)\\b",
"captures": {
"1": {
"name": "keyword.other.option"
},
"2": {
"name": "keyword.operator"
},
"3": {
"name": "support.constant"
}
}
},
{
"name": "invalid.illegal.abandon-proof",
"match": "\\b(quick_and_dirty|skip_proofs)\\b"
},
{
"name": "string.quoted.double",
"begin": "\"",
"end": "\""
},
{
"name": "comment.block.documentation",
"begin": "\\{\\*",
"end": "\\*\\}"
},
{
"name": "comment.block",
"begin": "\\(\\*",
"end": "\\*\\)"
},
{
"name": "keyword.operator",
"match": "\\(|\\)|\\[|\\]|\\=|\\+|\\,"
},
{
"name": "variable.other",
"match": "\\??'?([^\\W\\d]|\\\\\u003c\\w+\\\u003e)([.\\w\\']|\\\\\u003c\\w+\\\u003e)*"
},
{
"name": "constant.numeric",
"match": "[0-9]+"
}
]
}
Version data entries
20 entries across 20 versions & 1 rubygems