products/sources/formale sprachen/Isabelle/Tools/VSCode/extension/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: testutils.hpp   Sprache: C

Untersuchungsergebnis.json Download desDelphi {Delphi[111] Coq[139] C[147]}zum Wurzelverzeichnis wechseln

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

[ zur Elbe Produktseite wechseln0.91Quellennavigators  ]