{"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]+"}]}
