github-linguist-grammars 4.6.0

data/grammars/source.isabelle.root.json

@@ -0,0 +1,68 @@
+{
+  "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"
+}

data/grammars/source.isabelle.theory.json

@@ -0,0 +1,106 @@
+{
+  "fileTypes": [
+    "thy"
+  ],
+  "name": "Isabelle Theory",
+  "patterns": [
+    {
+      "begin": "\\{\\*",
+      "end": "\\*\\}",
+      "name": "comment.block.documentation"
+    },
+    {
+      "begin": "\\\\\\<open\\>",
+      "end": "\\\\\\<close\\>",
+      "name": "comment.block.documentation"
+    },
+    {
+      "begin": "\\(\\*",
+      "end": "\\*\\)",
+      "name": "comment.block"
+    },
+    {
+      "match": "--([ ]*\"[^\"]+\")?",
+      "name": "comment.line"
+    },
+    {
+      "captures": {
+        "1": {
+          "name": "keyword.other.isabelle.theory"
+        },
+        "2": {
+          "name": "storage"
+        }
+      },
+      "match": "\\b(theory)[ ]+([a-zA-Z0-9_]+)"
+    },
+    {
+      "match": "\\b(header|chapter|section|subsection|subsubsection|sect|subsect|subsubsect)\\b",
+      "name": "markup.heading"
+    },
+    {
+      "match": "\\b(and|assumes|attach|avoids|binder|checking|class_instance|class_relation|code_module|congs|constant|constrains|datatypes|defines|file|fixes|for|functions|hints|identifier|if|imports|in|includes|infix|infixl|infixr|is|keywords|lazy|module_name|monos|morphisms|no_discs_sels|notes|obtains|open|output|overloaded|parametric|permissive|pervasive|rep_compat|shows|structure|type_class|type_constructor|unchecked|unsafe|where|begin|end)\\b",
+      "name": "keyword.other.minor"
+    },
+    {
+      "match": "\\b(ML_command|ML_val|class_deps|code_deps|code_thms|display_drafts|find_consts|find_theorems|find_unused_assms|full_prf|help|locale_deps|nitpick|pr|prf|print_abbrevs|print_antiquotations|print_attributes|print_binds|print_bnfs|print_bundles|print_case_translations|print_cases|print_claset|print_classes|print_codeproc|print_codesetup|print_coercions|print_commands|print_context|print_defn_rules|print_dependencies|print_facts|print_induct_rules|print_inductives|print_interps|print_locale|print_locales|print_methods|print_options|print_orders|print_quot_maps|print_quotconsts|print_quotients|print_quotientsQ3|print_quotmapsQ3|print_rules|print_simpset|print_state|print_statement|print_syntax|print_theorems|print_theory|print_trans_rules|prop|pwd|quickcheck|refute|sledgehammer|smt_status|solve_direct|spark_status|term|thm|thm_deps|thy_deps|try|try0|typ|unused_thms|value|values|welcome|print_ML_antiquotations|print_term_bindings|values_prolog)\\b",
+      "name": "keyword.other.diagnostic"
+    },
+    {
+      "match": "\\b(ML|ML_file|abbreviation|adhoc_overloading|arities|atom_decl|attribute_setup|axiomatization|bundle|case_of_simps|class|classes|classrel|codatatype|code_abort|code_class|code_const|code_datatype|code_identifier|code_include|code_instance|code_modulename|code_monad|code_printing|code_reflect|code_reserved|code_type|coinductive|coinductive_set|consts|context|datatype|datatype_new|datatype_new_compat|declaration|declare|default_sort|defer_recdef|definition|defs|domain|domain_isomorphism|domaindef|equivariance|export_code|extract|extract_type|fixrec|fun|fun_cases|hide_class|hide_const|hide_fact|hide_type|import_const_map|import_file|import_tptp|import_type_map|inductive|inductive_set|instantiation|judgment|lifting_forget|lifting_update|local_setup|locale|method_setup|nitpick_params|no_adhoc_overloading|no_notation|no_syntax|no_translations|no_type_notation|nominal_datatype|nonterminal|notation|notepad|oracle|overloading|parse_ast_translation|parse_translation|partial_function|primcorec|primrec|primrec_new|print_ast_translation|print_translation|quickcheck_generator|quickcheck_params|realizability|realizers|recdef|record|refute_params|setup|setup_lifting|simproc_setup|simps_of_case|sledgehammer_params|spark_end|spark_open|spark_open_siv|spark_open_vcg|spark_proof_functions|spark_types|statespace|syntax|syntax_declaration|text|text_raw|txt|txt_raw|theorems|translations|type_notation|type_synonym|typed_print_translation|typedecl|hoarestate|install_C_file|install_C_types|wpc_setup|c_defs|c_types|memsafe|SML_export|SML_file|SML_import|approximate|bnf_axiomatization|cartouche|datatype_compat|free_constructors|functor|nominal_function|nominal_termination|permanent_interpretation|binds|defining|smt2_status|term_cartouche|boogie_file|text_cartouche|autocorres|sep_instance)\\b",
+      "name": "keyword.other.declaration"
+    },
+    {
+      "match": "\\b(inductive_cases|inductive_simps|crunch)\\b",
+      "name": "keyword.other.script"
+    },
+    {
+      "match": "\\b(ax_specification|bnf|code_pred|corollary|cpodef|crunch_ignore|enriched_type|function|instance|interpretation|lift_definition|nominal_inductive|nominal_inductive2|nominal_primrec|pcpodef|primcorecursive|quotient_definition|quotient_type|recdef_tc|rep_datatype|spark_vc|specification|subclass|sublocale|termination|theorem|typedef|wrap_free_constructors)\\b",
+      "name": "keyword.other.goal"
+    },
+    {
+      "match": "\\b(have|hence|interpret|next|proof|finally|from|then|ultimately|with|ML_prf|also|include|including|let|moreover|note|unfolding|using|write|ML_prf|also|include|including|let|moreover|note|txt|txt_raw|unfolding|using|write|assume|case|def|fix|presume|guess|obtain|show|thus|apply|apply_end|apply_trace|back|defer|prefer|and|by|done|qed)\\b",
+      "name": "keyword.control.proof"
+    },
+    {
+      "match": "\\b(lemma|schematic_lemma|theorem|schematic_theorem|corollary|schematic_corollary|lemmas)\\b",
+      "name": "support.constant"
+    },
+    {
+      "match": "\\b(sorry|oops)\\b",
+      "name": "invalid.illegal.abandon-proof"
+    },
+    {
+      "begin": "\"",
+      "end": "\"",
+      "name": "string"
+    },
+    {
+      "begin": "`",
+      "end": "`",
+      "name": "string"
+    },
+    {
+      "match": "\\??'?([^\\W\\d]|\\\\<\\w+\\>)([.\\w\\']|\\\\<\\w+\\>)*",
+      "name": "variable.other"
+    },
+    {
+      "match": "::|:|\\(|\\)|\\[|\\]|_|\\=|\\,|\\+|\\-|\\!|\\?|\\|",
+      "name": "keyword.operator"
+    },
+    {
+      "match": "\\.\\.|\\{|\\}|\\.",
+      "name": "keyword.operator.proof"
+    },
+    {
+      "match": ";",
+      "name": "punctuation.terminator.isabelle"
+    },
+    {
+      "match": "[0-9]+",
+      "name": "constant.numeric"
+    }
+  ],
+  "scopeName": "source.isabelle.theory",
+  "uuid": "37F7FDEA-2EAA-47C2-8EBF-2E8128D8ADD9"
+}

data/grammars/source.j.json

@@ -0,0 +1,49 @@
+{
+  "fileTypes": [
+    "ijs"
+  ],
+  "name": "J",
+  "patterns": [
+    {
+      "name": "string.j",
+      "match": "('[^']*')"
+    },
+    {
+      "name": "constant.numeric.j",
+      "match": "(_?\\d*\\.?\\d+)"
+    },
+    {
+      "name": "comment.j",
+      "match": "(?:^|[ )])(NB\\..*$)"
+    },
+    {
+      "name": "copula.global.j",
+      "match": "=\\:"
+    },
+    {
+      "name": "copula.local.j",
+      "match": "=\\."
+    },
+    {
+      "name": "keyword.j",
+      "match": "(?:^|(?<=[) ]))((?:while\\.)|(?:whilst\\.)|(?:if\\.)|(?:elseif\\.)|(?:else\\.)|(?:do\\.)|(?:end\\.))"
+    },
+    {
+      "name": "noun.j",
+      "match": "(?:_(?=[^\\d:]))|(?:a[.:])"
+    },
+    {
+      "name": "conjunction.j",
+      "match": "(?:\\^\\:)|(?:[.:`@][.:]?)|(?:;\\.)|(?:![.:])|(?:[\"](?![.:]))|(?:\\&\\.?\\:?)|(?:[dHT]\\.)|(?:D[.:])|(?:[LS]\\:)"
+    },
+    {
+      "name": "adverb.j",
+      "match": "(?:[~}](?![.:]))|(?:[/\\\\]\\.?)|(?:[bfM]\\.)|(?:t[.:])"
+    },
+    {
+      "name": "verb.j",
+      "match": "(?:[=!](?![.:]))|(?:[<>+*%$|,#{-][.:]?)|(?:_\\:)|(?:\\^\\.?)|(?:\\^\\!\\.)|(?:[~}\"ip][.:])|(?:[;\\[]\\:?)|(?:[/\\\\]\\:)|\\]|(?:\\{\\:\\:)|(?:\\?\\.?)|(?:[AeEIjLr]\\.)|(?:p\\.\\.)|(?:[qsux0]\\:)|(?:_?[1-9]\\s?\\:)"
+    }
+  ],
+  "scopeName": "source.j"
+}

data/grammars/source.jade.json

@@ -0,0 +1,1009 @@
+{
+  "fileTypes": [
+    "jade"
+  ],
+  "name": "Jade",
+  "patterns": [
+    {
+      "comment": "Doctype declaration.",
+      "match": "^(!!!|doctype)(\\s*[a-zA-Z0-9-_]+)?",
+      "name": "comment.other.doctype.jade"
+    },
+    {
+      "begin": "^(\\s*)//-",
+      "comment": "Unbuffered (jade-only) comments.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "comment.unbuffered.block.jade"
+    },
+    {
+      "begin": "^(\\s*)//",
+      "comment": "Buffered (html) comments.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "string.comment.buffered.block.jade",
+      "patterns": [
+        {
+          "captures": {
+            "1": {
+              "name": "invalid.illegal.comment.comment.block.jade"
+            }
+          },
+          "comment": "Buffered comments inside buffered comments will generate invalid html.",
+          "match": "^\\s*(//)(?!-)",
+          "name": "string.comment.buffered.block.jade"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*)-$",
+      "comment": "Unbuffered code block.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "javascript.embedded.jade",
+      "patterns": [
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*)(script)(?=[.#(\\s])((?![^\\n]*type=)|(?=[^\\n]*(text|application)/javascript))",
+      "beginCaptures": {
+        "2": {
+          "name": "entity.name.tag.script.jade"
+        }
+      },
+      "comment": "Script tag with JavaScript code.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.script.jade",
+      "patterns": [
+        {
+          "begin": "\\G(?=\\()",
+          "end": "$",
+          "name": "stuff.tag.script.jade",
+          "patterns": [
+            {
+              "include": "#tag_attributes"
+            }
+          ]
+        },
+        {
+          "begin": "\\G(?=[.#])",
+          "end": "$",
+          "name": "stuff.tag.script.jade",
+          "patterns": [
+            {
+              "include": "#complete_tag"
+            }
+          ]
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*)(style)(?=[.#(\\s])",
+      "beginCaptures": {
+        "2": {
+          "name": "entity.name.tag.script.jade"
+        }
+      },
+      "comment": "Style tag with CSS code.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.style.jade",
+      "patterns": [
+        {
+          "begin": "\\G(?=\\()",
+          "end": "$",
+          "name": "stuff.tag.style.jade",
+          "patterns": [
+            {
+              "include": "#tag_attributes"
+            }
+          ]
+        },
+        {
+          "begin": "\\G(?=[.#])",
+          "end": "$",
+          "name": "stuff.tag.style.jade",
+          "patterns": [
+            {
+              "include": "#complete_tag"
+            }
+          ]
+        },
+        {
+          "include": "source.css"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*):(markdown)(?=\\(|$)$",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.language.name.markdown.filter.jade"
+        }
+      },
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "text.markdown.filter.jade",
+      "patterns": [
+        {
+          "include": "#filter_args"
+        },
+        {
+          "include": "text.html.markdown"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*):(sass)(?=\\(|$)$",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.language.name.sass.filter.jade"
+        }
+      },
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.sass.filter.jade",
+      "patterns": [
+        {
+          "include": "#filter_args"
+        },
+        {
+          "include": "source.sass"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*):(less)(?=\\(|$)$",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.language.name.less.filter.jade"
+        }
+      },
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.less.filter.jade",
+      "patterns": [
+        {
+          "include": "#filter_args"
+        },
+        {
+          "include": "source.less"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*):(stylus)(?=\\(|$)$",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.language.name.stylus.filter.jade"
+        }
+      },
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.stylus.filter.jade",
+      "patterns": [
+        {
+          "include": "#filter_args"
+        },
+        {
+          "include": "source.stylus"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*):(coffee(-?script)?)(?=\\(|$)",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.language.name.coffeescript.filter.jade"
+        }
+      },
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "source.coffeescript.filter.jade",
+      "patterns": [
+        {
+          "include": "#filter_args"
+        },
+        {
+          "include": "source.coffee"
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*)((:(?=.))|(:$))",
+      "beginCaptures": {
+        "4": {
+          "name": "invalid.illegal.empty.generic.filter.jade"
+        }
+      },
+      "comment": "Generic Jade filter.",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "text.generic.filter.jade",
+      "patterns": [
+        {
+          "begin": "\\G(?<=:)(?=.)",
+          "end": "$",
+          "name": "name.generic.filter.jade",
+          "patterns": [
+            {
+              "match": "\\G\\(",
+              "name": "invalid.illegal.name.generic.filter.jade"
+            },
+            {
+              "match": "\\w",
+              "name": "constant.language.name.generic.filter.jade"
+            },
+            {
+              "include": "#filter_args"
+            },
+            {
+              "match": "\\W",
+              "name": "invalid.illegal.name.generic.filter.jade"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "begin": "^(\\s*)(?=[\\w.#].*?\\.$)(?=(?:(?:(?:(?:(?:#[\\w-]+)|(?:\\.[\\w-]+))|(?:(?:[#!]\\{[^}]*\\})|(?:\\w(?:(?:[\\w:-]+[\\w-])|(?:[\\w-]*)))))(?:(?:#[\\w-]+)|(?:\\.[\\w-]+)|(?:\\((?:[^()\\'\\\"]*(?:(?:\\'(?:[^\\']|(?:(?<!\\\\)\\\\\\'))*\\')|(?:\\\"(?:[^\\\"]|(?:(?<!\\\\)\\\\\\\"))*\\\")))*[^()]*\\))*)*)(?:(?:(?::\\s+)|(?<=\\)))(?:(?:(?:(?:#[\\w-]+)|(?:\\.[\\w-]+))|(?:(?:[#!]\\{[^}]*\\})|(?:\\w(?:(?:[\\w:-]+[\\w-])|(?:[\\w-]*)))))(?:(?:#[\\w-]+)|(?:\\.[\\w-]+)|(?:\\((?:[^()\\'\\\"]*(?:(?:\\'(?:[^\\']|(?:(?<!\\\\)\\\\\\'))*\\')|(?:\\\"(?:[^\\\"]|(?:(?<!\\\\)\\\\\\\"))*\\\")))*[^()]*\\))*)*))*)\\.$)(?:(?:(#[\\w-]+)|(\\.[\\w-]+))|((?:[#!]\\{[^}]*\\})|(?:\\w(?:(?:[\\w:-]+[\\w-])|(?:[\\w-]*)))))",
+      "beginCaptures": {
+        "2": {
+          "name": "constant.id.tag.jade"
+        },
+        "3": {
+          "name": "constant.language.js"
+        },
+        "4": {
+          "name": "entity.name.tag.jade"
+        }
+      },
+      "comment": "Generated from dot_block_tag.py",
+      "end": "^(?!(\\1\\s)|\\s*$)",
+      "name": "text.block.dot.tag.jade",
+      "patterns": [
+        {
+          "include": "#tag_attributes"
+        },
+        {
+          "include": "#complete_tag"
+        },
+        {
+          "begin": "^(?=.)",
+          "end": "$",
+          "name": "text.block.jade",
+          "patterns": [
+            {
+              "include": "#inline_jade"
+            },
+            {
+              "include": "#embedded_html"
+            },
+            {
+              "include": "#html_entity"
+            },
+            {
+              "include": "#interpolated_value"
+            },
+            {
+              "include": "#interpolated_error"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "begin": "^\\s*",
+      "comment": "All constructs that generally span a single line starting with any number of white-spaces.",
+      "end": "$",
+      "name": "tag.jade",
+      "patterns": [
+        {
+          "include": "#inline_jade"
+        },
+        {
+          "include": "#blocks_and_includes"
+        },
+        {
+          "include": "#unbuffered_code"
+        },
+        {
+          "include": "#mixins"
+        },
+        {
+          "include": "#flow_control"
+        },
+        {
+          "include": "#case_conds"
+        },
+        {
+          "begin": "\\|",
+          "comment": "Tag pipe text line.",
+          "end": "$",
+          "name": "text.block.pipe.jade",
+          "patterns": [
+            {
+              "include": "#inline_jade"
+            },
+            {
+              "include": "#embedded_html"
+            },
+            {
+              "include": "#html_entity"
+            },
+            {
+              "include": "#interpolated_value"
+            },
+            {
+              "include": "#interpolated_error"
+            }
+          ]
+        },
+        {
+          "include": "#printed_expression"
+        },
+        {
+          "begin": "\\G(?=(#[^\\{\\w-])|[^\\w.#])",
+          "comment": "Line starting with characters incompatible with tag name/id/class is standalone text.",
+          "end": "$",
+          "name": "text.jade",
+          "patterns": [
+            {
+              "begin": "</?(?=[!#])",
+              "end": ">|$",
+              "patterns": [
+                {
+                  "include": "#inline_jade"
+                },
+                {
+                  "include": "#interpolated_value"
+                },
+                {
+                  "include": "#interpolated_error"
+                }
+              ]
+            },
+            {
+              "include": "#inline_jade"
+            },
+            {
+              "include": "#embedded_html"
+            },
+            {
+              "include": "#html_entity"
+            },
+            {
+              "include": "#interpolated_value"
+            },
+            {
+              "include": "#interpolated_error"
+            }
+          ]
+        },
+        {
+          "include": "#complete_tag"
+        }
+      ]
+    }
+  ],
+  "repository": {
+    "blocks_and_includes": {
+      "captures": {
+        "1": {
+          "name": "storage.type.import.include.jade"
+        },
+        "4": {
+          "name": "variable.control.import.include.jade"
+        }
+      },
+      "comment": "Template blocks and includes.",
+      "match": "(extends|include|yield|append|prepend|block( (append|prepend))?)\\s+(.*)$",
+      "name": "meta.first-class.jade"
+    },
+    "brackets_js": {
+      "begin": "\\[",
+      "end": "\\]",
+      "name": "js.value.attribute.tag.jade",
+      "patterns": [
+        {
+          "include": "#brackets_js"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "case_conds": {
+      "begin": "(default|when)((\\s+|(?=:))|$)",
+      "captures": {
+        "1": {
+          "name": "storage.type.function.jade"
+        }
+      },
+      "comment": "Jade case conditionals.",
+      "end": "$",
+      "name": "meta.control.flow.jade",
+      "patterns": [
+        {
+          "begin": "\\G(?!:)",
+          "end": "(?=:\\s+)|$",
+          "name": "js.embedded.control.flow.jade",
+          "patterns": [
+            {
+              "include": "#case_when_paren"
+            },
+            {
+              "include": "source.js"
+            }
+          ]
+        },
+        {
+          "begin": ":\\s+",
+          "end": "$",
+          "name": "tag.case.control.flow.jade",
+          "patterns": [
+            {
+              "include": "#complete_tag"
+            }
+          ]
+        }
+      ]
+    },
+    "case_when_paren": {
+      "begin": "\\(",
+      "end": "\\)",
+      "name": "js.when.control.flow.jade",
+      "patterns": [
+        {
+          "include": "#case_when_paren"
+        },
+        {
+          "match": ":",
+          "name": "invalid.illegal.name.tag.jade"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "complete_tag": {
+      "begin": "(?=[\\w.#])|(:\\s*)",
+      "end": "(\\.?$)|(?=:.)",
+      "name": "complete_tag.jade",
+      "patterns": [
+        {
+          "include": "#blocks_and_includes"
+        },
+        {
+          "include": "#unbuffered_code"
+        },
+        {
+          "include": "#mixins"
+        },
+        {
+          "include": "#flow_control"
+        },
+        {
+          "match": "(?<=:)\\w.*$",
+          "name": "invalid.illegal.name.tag.jade"
+        },
+        {
+          "include": "#tag_name"
+        },
+        {
+          "include": "#tag_id"
+        },
+        {
+          "include": "#tag_classes"
+        },
+        {
+          "include": "#tag_attributes"
+        },
+        {
+          "include": "#tag_mixin_attributes"
+        },
+        {
+          "captures": {
+            "2": {
+              "name": "invalid.illegal.end.tag.jade"
+            },
+            "4": {
+              "name": "invalid.illegal.end.tag.jade"
+            }
+          },
+          "match": "((\\.)\\s+$)|((:)\\s*$)"
+        },
+        {
+          "include": "#printed_expression"
+        },
+        {
+          "include": "#tag_text"
+        }
+      ]
+    },
+    "embedded_html": {
+      "begin": "(?=<[^>]*>)",
+      "end": "$|(?=>)",
+      "name": "html",
+      "patterns": [
+        {
+          "include": "text.html.basic"
+        },
+        {
+          "include": "#interpolated_value"
+        },
+        {
+          "include": "#interpolated_error"
+        }
+      ]
+    },
+    "filter_args": {
+      "begin": "\\G(\\()",
+      "captures": {
+        "1": {
+          "name": "meta.args.filter.jade"
+        },
+        "2": {
+          "name": "invalid.illegal.extra.args.filter.jade"
+        }
+      },
+      "end": "(\\))(.*?$)",
+      "name": "args.filter.jade",
+      "patterns": [
+        {
+          "begin": "([^\\s(),=]+)(=?)",
+          "beginCaptures": {
+            "1": {
+              "name": "entity.other.attribute-name.tag.jade"
+            },
+            "2": {
+              "name": "punctuation.separator.key-value.jade"
+            }
+          },
+          "contentName": "string.value.args.filter.jade",
+          "end": "((?=\\))|,|$)",
+          "name": "attributes.tag.jade",
+          "patterns": [
+            {
+              "include": "#filter_args_paren"
+            }
+          ]
+        }
+      ]
+    },
+    "filter_args_paren": {
+      "begin": "\\(",
+      "end": "\\)|$",
+      "patterns": [
+        {
+          "include": "#filter_args_paren"
+        }
+      ]
+    },
+    "flow_control": {
+      "begin": "(for|if|else if|else|each|until|while|unless|case)(\\s+|$)",
+      "captures": {
+        "1": {
+          "name": "storage.type.function.jade"
+        }
+      },
+      "comment": "Jade control flow.",
+      "end": "$",
+      "name": "meta.control.flow.jade",
+      "patterns": [
+        {
+          "begin": "",
+          "end": "$",
+          "name": "js.embedded.control.flow.jade",
+          "patterns": [
+            {
+              "include": "source.js"
+            }
+          ]
+        }
+      ]
+    },
+    "html_entity": {
+      "patterns": [
+        {
+          "match": "(&)([a-zA-Z0-9]+|#[0-9]+|#x[0-9a-fA-F]+)(;)",
+          "name": "constant.character.entity.html.text.jade"
+        },
+        {
+          "match": "[<>&]",
+          "name": "invalid.illegal.html_entity.text.jade"
+        }
+      ]
+    },
+    "inline_jade": {
+      "begin": "(?<!\\\\)(#\\[)",
+      "captures": {
+        "1": {
+          "name": "entity.name.function.jade"
+        },
+        "2": {
+          "name": "entity.name.function.jade"
+        }
+      },
+      "end": "(\\])",
+      "name": "inline.jade",
+      "patterns": [
+        {
+          "include": "#inline_jade"
+        },
+        {
+          "include": "#mixins"
+        },
+        {
+          "begin": "(?<!\\])(?=[\\w.#])|(:\\s*)",
+          "end": "(?=\\]|(:.)|=|\\s)",
+          "name": "tag.inline.jade",
+          "patterns": [
+            {
+              "include": "#tag_name"
+            },
+            {
+              "include": "#tag_id"
+            },
+            {
+              "include": "#tag_classes"
+            },
+            {
+              "include": "#tag_attributes"
+            },
+            {
+              "include": "#tag_mixin_attributes"
+            },
+            {
+              "include": "#inline_jade"
+            },
+            {
+              "match": "\\[",
+              "name": "invalid.illegal.tag.jade"
+            }
+          ]
+        },
+        {
+          "include": "#unbuffered_code"
+        },
+        {
+          "include": "#printed_expression"
+        },
+        {
+          "match": "\\[",
+          "name": "invalid.illegal.tag.jade"
+        },
+        {
+          "include": "#inline_jade_text"
+        }
+      ]
+    },
+    "inline_jade_text": {
+      "begin": "",
+      "end": "(?=\\])",
+      "name": "text.jade",
+      "patterns": [
+        {
+          "begin": "\\[",
+          "end": "\\]",
+          "patterns": [
+            {
+              "include": "#inline_jade_text"
+            }
+          ]
+        },
+        {
+          "include": "#inline_jade"
+        },
+        {
+          "include": "#embedded_html"
+        },
+        {
+          "include": "#html_entity"
+        },
+        {
+          "include": "#interpolated_value"
+        },
+        {
+          "include": "#interpolated_error"
+        }
+      ]
+    },
+    "interpolated_error": {
+      "match": "(?<!\\\\)[#!]\\{(?=[^}]*$)",
+      "name": "invalid.illegal.tag.jade"
+    },
+    "interpolated_value": {
+      "begin": "(?<!\\\\)[#!]\\{(?=.*?\\})",
+      "end": "\\}",
+      "name": "string.interpolated.jade",
+      "patterns": [
+        {
+          "match": "{",
+          "name": "invalid.illegal.tag.jade"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "mixins": {
+      "begin": "(((mixin\\s+)|\\+)([\\w-]+))\\s*",
+      "beginCaptures": {
+        "2": {
+          "name": "storage.type.function.jade"
+        },
+        "4": {
+          "name": "entity.name.function.jade"
+        }
+      },
+      "comment": "Mixin declaration and use, including the new '+' syntax.",
+      "end": "(?=\\])|$",
+      "name": "meta.mixin.jade",
+      "patterns": [
+        {
+          "begin": "",
+          "end": "(?=\\])|$",
+          "name": "args.mixin.jade",
+          "patterns": [
+            {
+              "include": "#tag_attribute_value_paren"
+            },
+            {
+              "include": "#tag_attribute_value_brackets"
+            },
+            {
+              "include": "#tag_attribute_value_braces"
+            },
+            {
+              "include": "source.js"
+            }
+          ]
+        }
+      ]
+    },
+    "printed_expression": {
+      "begin": "(!?\\=)\\s*",
+      "captures": {
+        "1": {
+          "name": "constant"
+        }
+      },
+      "end": "(?=\\])|$",
+      "patterns": [
+        {
+          "include": "#brackets_js"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "string": {
+      "begin": "(['\"])",
+      "end": "(?<!\\\\)\\1",
+      "name": "string.quoted.jade",
+      "patterns": [
+        {
+          "match": "\\\\((x[0-9a-fA-F]{2})|(u[0-9]{4})|.)",
+          "name": "constant.character.quoted.jade"
+        },
+        {
+          "include": "#interpolated_value"
+        },
+        {
+          "include": "#interpolated_error"
+        }
+      ]
+    },
+    "tag_attribute_value_braces": {
+      "begin": "\\{",
+      "end": "\\}",
+      "name": "js.value.attribute.tag.jade",
+      "patterns": [
+        {
+          "include": "#tag_attribute_value_paren"
+        },
+        {
+          "include": "#tag_attribute_value_brackets"
+        },
+        {
+          "include": "#tag_attribute_value_braces"
+        },
+        {
+          "include": "#string"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "tag_attribute_value_brackets": {
+      "begin": "\\[",
+      "end": "\\]",
+      "name": "js.value.attribute.tag.jade",
+      "patterns": [
+        {
+          "include": "#tag_attribute_value_paren"
+        },
+        {
+          "include": "#tag_attribute_value_brackets"
+        },
+        {
+          "include": "#tag_attribute_value_braces"
+        },
+        {
+          "include": "#string"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "tag_attribute_value_paren": {
+      "begin": "\\(",
+      "end": "\\)",
+      "name": "js.value.attribute.tag.jade",
+      "patterns": [
+        {
+          "include": "#tag_attribute_value_paren"
+        },
+        {
+          "include": "#tag_attribute_value_brackets"
+        },
+        {
+          "include": "#tag_attribute_value_braces"
+        },
+        {
+          "include": "#string"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "tag_attributes": {
+      "begin": "(\\()",
+      "captures": {
+        "1": {
+          "name": "constant.name.attribute.tag.jade"
+        }
+      },
+      "end": "(\\))",
+      "name": "attributes.tag.jade",
+      "patterns": [
+        {
+          "captures": {
+            "1": {
+              "name": "entity.other.attribute-name.tag.jade"
+            }
+          },
+          "match": "([^\\s(),=/]+)\\s*((?=\\))|,|\\s+|$)(?!\\!?\\=)",
+          "name": "attributes.tag.jade"
+        },
+        {
+          "begin": "([^\\s(),=/]*[^\\s(),=!/])\\s*(!?\\=)",
+          "beginCaptures": {
+            "1": {
+              "name": "entity.other.attribute-name.tag.jade"
+            },
+            "2": {
+              "name": "punctuation.separator.key-value.jade"
+            }
+          },
+          "end": "(,|$|(?=\\)|((?<![+/*|&=:^~!?<>%-])\\s+[^+/*|&=:^~!?<>%-])))",
+          "name": "attributes.tag.jade",
+          "patterns": [
+            {
+              "include": "#tag_attribute_value_paren"
+            },
+            {
+              "include": "#tag_attribute_value_brackets"
+            },
+            {
+              "include": "#tag_attribute_value_braces"
+            },
+            {
+              "include": "#string"
+            },
+            {
+              "include": "source.js"
+            }
+          ]
+        }
+      ]
+    },
+    "tag_classes": {
+      "captures": {
+        "1": {
+          "name": "invalid.illegal.tag.jade"
+        }
+      },
+      "match": "\\.([^\\w-])?[\\w-]*",
+      "name": "constant.language.js"
+    },
+    "tag_id": {
+      "match": "#[\\w-]+",
+      "name": "constant.id.tag.jade"
+    },
+    "tag_mixin_attributes": {
+      "begin": "(&attributes\\()",
+      "captures": {
+        "1": {
+          "name": "entity.name.function.jade"
+        }
+      },
+      "end": "(\\))",
+      "name": "attributes.tag.jade",
+      "patterns": [
+        {
+          "match": "attributes(?=\\))",
+          "name": "storage.type.keyword.jade"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    },
+    "tag_name": {
+      "begin": "([#!]\\{(?=.*?\\}))|(\\w(([\\w:-]+[\\w-])|([\\w-]*)))",
+      "end": "(\\G(?<!\\5[^\\w-]))|\\}|$",
+      "name": "entity.name.tag.jade",
+      "patterns": [
+        {
+          "begin": "\\G(?<=\\{)",
+          "end": "(?=\\})",
+          "name": "entity.name.tag.jade",
+          "patterns": [
+            {
+              "match": "{",
+              "name": "invalid.illegal.tag.jade"
+            },
+            {
+              "include": "source.js"
+            }
+          ]
+        }
+      ]
+    },
+    "tag_text": {
+      "begin": "(?=.)",
+      "end": "$",
+      "name": "text.jade",
+      "patterns": [
+        {
+          "include": "#inline_jade"
+        },
+        {
+          "include": "#embedded_html"
+        },
+        {
+          "include": "#html_entity"
+        },
+        {
+          "include": "#interpolated_value"
+        },
+        {
+          "include": "#interpolated_error"
+        }
+      ]
+    },
+    "unbuffered_code": {
+      "begin": "(-|(([a-zA-Z0-9_]+)\\s+=))",
+      "beginCaptures": {
+        "3": {
+          "name": "variable.parameter.javascript.embedded.jade"
+        }
+      },
+      "comment": "name = function() {}",
+      "end": "(?=\\])|$",
+      "name": "javascript.embedded.jade",
+      "patterns": [
+        {
+          "include": "#brackets_js"
+        },
+        {
+          "include": "source.js"
+        }
+      ]
+    }
+  },
+  "scopeName": "source.jade",
+  "uuid": "eee6ba25-6ac2-4f7e-9c70-cddf2bd3448b"
+}