author | wenzelm |
Wed, 02 Mar 2022 20:32:16 +0100 | |
changeset 75186 | 84532574c209 |
parent 75126 | src/Tools/VSCode/extension/tsconfig.json@da1108a6d249 |
permissions | -rw-r--r-- |
64605 | 1 |
{ |
2 |
"compilerOptions": { |
|
3 |
"module": "commonjs", |
|
4 |
"target": "es6", |
|
5 |
"outDir": "out", |
|
6 |
"lib": [ |
|
7 |
"es6" |
|
8 |
], |
|
9 |
"sourceMap": true, |
|
10 |
"rootDir": "." |
|
11 |
}, |
|
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
64605
diff
changeset
|
12 |
"include": [ |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
64605
diff
changeset
|
13 |
"src/**/*" |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
64605
diff
changeset
|
14 |
], |
64605 | 15 |
"exclude": [ |
16 |
"node_modules", |
|
17 |
".vscode-test" |
|
18 |
] |
|
19 |
} |