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
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.13 Sekunden (vorverarbeitet)
]
2026-04-02