products/sources/formale Sprachen/Isabelle/Tools/VSCode/extension/.vscode/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: test.v   Sprache: Coq

Untersuchungsergebnis.json Download desDelphi {Delphi[127] CS[173] C[227]}zum Wurzelverzeichnis wechseln

// Place your settings in this file to overwrite default and user settings.
{
    "files.exclude": {
        "out": false // set this to true to hide the "out" folder with the compiled JS files
    },
    "search.exclude": {
        "out": true // set this to false to include "out" folder in search results
    },
    "typescript.tsdk": "./node_modules/typescript/lib" // we want to use the TS server from our node_modules folder to control its version
}

[ zur Elbe Produktseite wechseln0.77Quellennavigators  ]