src/Tools/VSCode/extension/isabelle-language.json
changeset 64736 07bf45283b92
parent 64605 9c1173a7e4cb
child 64751 f0057930d4c4
equal deleted inserted replaced
64735:4ad6d21545bd 64736:07bf45283b92
       
     1 {
       
     2     "brackets": [
       
     3         ["(", ")"],
       
     4         ["[", "]"],
       
     5         ["{", "}"],
       
     6         ["<", ">"],
       
     7         ["«", "»"],
       
     8         ["‹", "›"],
       
     9         ["⟨", "⟩"],
       
    10         ["⌈", "⌉"],
       
    11         ["⌊", "⌋"],
       
    12         ["⦇", "⦈"],
       
    13         ["⟦", "⟧"],
       
    14         ["⦃", "⦄"]
       
    15     ]
       
    16 }