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