changeset 64736 | 07bf45283b92 |
parent 64605 | 9c1173a7e4cb |
child 64751 | f0057930d4c4 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/VSCode/extension/isabelle-language.json Sun Jan 01 21:26:26 2017 +0100 @@ -0,0 +1,16 @@ +{ + "brackets": [ + ["(", ")"], + ["[", "]"], + ["{", "}"], + ["<", ">"], + ["«", "»"], + ["‹", "›"], + ["⟨", "⟩"], + ["⌈", "⌉"], + ["⌊", "⌋"], + ["⦇", "⦈"], + ["⟦", "⟧"], + ["⦃", "⦄"] + ] +}