Sha256: 338292ffe12078779812f3edeb9e05430f5da70c367fb93ca603c8dff8547c21
Contents?: true
Size: 1.84 KB
Versions: 38
Compression:
Stored size: 1.84 KB
Contents
{
"fileTypes": [
"ROOT"
],
"name": "Isabelle ROOT",
"patterns": [
{
"match": "\\b(chapter|session|in|description|options|global_theories|theories|files|document_files)\\b",
"name": "keyword.control"
},
{
"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)\\b",
"name": "keyword.other.option"
},
{
"match": "\\b(true|false)\\b",
"name": "support.constant"
},
{
"captures": {
"1": {
"name": "keyword.other.option"
},
"2": {
"name": "keyword.operator"
},
"3": {
"name": "support.constant"
}
},
"match": "\\b(quick_and_dirty|skip_proofs)[ ]*(\\=)[ ]*(false)\\b",
"name": "meta.abandon-proof.false"
},
{
"match": "\\b(quick_and_dirty|skip_proofs)\\b",
"name": "invalid.illegal.abandon-proof"
},
{
"begin": "\"",
"end": "\"",
"name": "string.quoted.double"
},
{
"begin": "\\{\\*",
"end": "\\*\\}",
"name": "comment.block.documentation"
},
{
"begin": "\\(\\*",
"end": "\\*\\)",
"name": "comment.block"
},
{
"match": "\\(|\\)|\\[|\\]|\\=|\\+|\\,",
"name": "keyword.operator"
},
{
"match": "\\??'?([^\\W\\d]|\\\\<\\w+\\>)([.\\w\\']|\\\\<\\w+\\>)*",
"name": "variable.other"
},
{
"match": "[0-9]+",
"name": "constant.numeric"
}
],
"scopeName": "source.isabelle.root",
"uuid": "D9EB4C04-5E72-4D19-A640-4035F9A762C8"
}
Version data entries
38 entries across 38 versions & 2 rubygems