Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
isabelle-language.json
Sprache: XML
rahmenlose Ansicht.json DruckansichtDelphi {Delphi[155] Coq[189] C[191]}Entwicklung
{
"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": "`", "notIn": ["string"] },
{ "open": "\"", "close": "\"", "notIn": ["string"] }
],
"surroundingPairs": [
["(", ")"],
["[", "]"],
["{", "}"],
["«", "»"],
["‹", "›"],
["⟨", "⟩"],
["⌈", "⌉"],
["⌊", "⌋"],
["⦇", "⦈"],
["⟦", "⟧"],
["⦃", "⦄"],
["`", "`"],
["\"", "\""]
]
}
[ Verzeichnis aufwärts0.183unsichere Verbindung
]
|
|
