Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/Tools/VSCode/no_extension/   (Beweissystem Isabelle Version 2025-1©)  Datei vom 16.11.2025 mit Größe 324 B image not shown  

Quelle  tsconfig.json   Sprache: unbekannt

 
{
    "compilerOptions": {
        "module": "commonjs",
        "target": "es6",
        "outDir": "out",
        "lib": [
            "es6"
        ],
        "sourceMap": true,
        "rootDir": "."
    },
    "include": [
        "src/**/*"
    ],
    "exclude": [
        "node_modules",
        ".vscode-test"
    ]
}

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]