Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/VSCode/extension/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 1 kB image not shown  

Quelle  isabelle-language.json   Sprache: unbekannt

 
{
  "comments": {
    "blockComment": ["(*", "*)"]
  },
  "brackets": [
    ["(", ")"],
    ["[", "]"],
    ["{", "}"],
    ["«", "»"],
    ["‹", "›"],
    ["⟨", "⟩"],
    ["⌈", "⌉"],
    ["⌊", "⌋"],
    ["⦇", "⦈"],
    ["⟦", "⟧"],
    ["⦃", "⦄"],
    ["⟪", "⟫"],
    ["⦉", "⦊"]
  ],
  "autoClosingPairs": [
    { "open": "(", "close": ")" },
    { "open": "[", "close": "]" },
    { "open": "{", "close": "}" },
    { "open": "«", "close": "»" },
    { "open": "‹", "close": "›" },
    { "open": "⟨", "close": "⟩" },
    { "open": "⌈", "close": "⌉" },
    { "open": "⌊", "close": "⌋" },
    { "open": "⦇", "close": "⦈" },
    { "open": "⟦", "close": "⟧" },
    { "open": "⦃", "close": "⦄" },
    { "open": "⟪", "close": "⟫" },
    { "open": "⦉", "close": "⦊" },
    { "open": "`", "close": "`", "notIn": ["string"] },
    { "open": "\"", "close": "\"", "notIn": ["string"] }
  ],
  "surroundingPairs": [
    ["(", ")"],
    ["[", "]"],
    ["{", "}"],
    ["«", "»"],
    ["‹", "›"],
    ["⟨", "⟩"],
    ["⌈", "⌉"],
    ["⌊", "⌋"],
    ["⦇", "⦈"],
    ["⟦", "⟧"],
    ["⦃", "⦄"],
    ["⟪", "⟫"],
    ["⦉", "⦊"],
    ["`", "`"],
    ["\"", "\""]
  ],
  "wordPattern": ".+"
}

[ Dauer der Verarbeitung: 0.18 Sekunden  (vorverarbeitet)  ]