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
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)
]
2026-03-28