language-configuration.json

{
    "comments": {
		// there is only a block comment
        "blockComment": [ "(*", "*)" ]
    },
    "brackets": [
        ["{", "}"],
        ["[", "]"],
        ["(", ")"]
    ],
    "autoClosingPairs": [
        ["{", "}"],
        ["[", "]"],
        ["(", ")"],
        ["\"", "\""],
        ["(*", "*)"],
    ],
    // same as autoClosingPairs, but without the comment bracket
    "surroundingPairs": [
        ["{", "}"],
        ["[", "]"],
        ["(", ")"],
        ["\"", "\""]
    ],
    // identifier setting and - (to account for inj-event and similar)
    "wordPattern": "([a-zA-Z0-9'_\\-]+)",
    "indentationRules": {
        // indent on brackets {([ equal / diff = <> and implication/equivalence ==> <-> <=>
        "increaseIndentPattern": "^.*({|\\(|\\[|=|<>|==>|<->|<=>)$",
        // decrease indent when lib ends; disabled as sometimes surprising
        // "decreaseIndentPattern": "^.*\\.$"
    },
    "onEnterRules": [
        {
            // indent after first semicolon for lib rules 
            "beforeText": "^\\s*(nounif|noselect|select|query|noninterf|not|elimtrue|lemma|axiom|restriction).*?;$",
            "action": { "indent": "indent" }
        }
    ]
}