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

Quelle  isabelle-ml-language.json   Sprache: unbekannt

 
{
  "comments": {
    "blockComment": [ "(*", "*)" ]
  },
  "brackets": [
    ["(", ")"],
    ["[", "]"],
    ["{", "}"]
  ],
  "autoClosingPairs": [
    { "open": "{", "close": "}" },
    { "open": "[", "close": "]" },
    { "open": "(", "close": ")" },
    { "open": "\"", "close": "\"", "notIn": [ "string" ] }
  ],
  "surroundingPairs": [
    [ "{", "}" ],
    [ "[", "]" ],
    [ "(", ")" ],
    [ "\"", "\"" ]
  ]
}

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]