Sha256: f2ab56ee74300ebcfd62e5f317d603c7df90d9df1558e72b4935e1c85b72532c
Contents?: true
Size: 1.8 KB
Versions: 3
Compression:
Stored size: 1.8 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|directories)\\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
3 entries across 3 versions & 1 rubygems
Version | Path |
---|---|
github-linguist-7.11.1 | grammars/source.isabelle.root.json |
github-linguist-7.10.0 | grammars/source.isabelle.root.json |
github-linguist-7.11.0 | grammars/source.isabelle.root.json |