/src/Tools/VSCode/extension/ default tip
drwxr-xr-x [up]
drwxr-xr-x .vscode
drwxr-xr-x media
drwxr-xr-x src
drwxr-xr-x test
-rw-r--r-- 2022-07-01 20:47 +0200 116 .vscodeignore
-rw-r--r-- 2022-07-01 20:47 +0200 21 .yarnrc
-rw-r--r-- 2022-07-01 20:47 +0200 735 MANIFEST
-rw-r--r-- 2022-07-01 20:47 +0200 1626 README.md
-rw-r--r-- 2022-07-01 20:47 +0200 1108 isabelle-language.json
-rw-r--r-- 2022-07-01 20:47 +0200 7077 isabelle-ml-grammar.json
-rw-r--r-- 2022-07-01 20:47 +0200 422 isabelle-ml-language.json
-rw-r--r-- 2022-07-01 20:47 +0200 8465 isabelle.png
-rw-r--r-- 2022-07-01 20:47 +0200 516226 isabelle_vscode.png
-rw-r--r-- 2022-07-01 20:47 +0200 13500 package.json
-rw-r--r-- 2022-07-01 20:47 +0200 324 tsconfig.json
-rw-r--r-- 2022-07-01 20:47 +0200 27371 yarn.lock