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