/src/Tools/VSCode/extension/
drwxr-xr-x [up]
drwxr-xr-x .vscode
drwxr-xr-x media
drwxr-xr-x src
drwxr-xr-x test
-rw-r--r-- 2020-05-24 19:57 +0000 116 .vscodeignore
-rw-r--r-- 2020-05-24 19:57 +0000 6370 README.md
-rw-r--r-- 2020-05-24 19:57 +0000 1108 isabelle-language.json
-rw-r--r-- 2020-05-24 19:57 +0000 7077 isabelle-ml-grammar.json
-rw-r--r-- 2020-05-24 19:57 +0000 422 isabelle-ml-language.json
-rw-r--r-- 2020-05-24 19:57 +0000 8465 isabelle.png
-rw-r--r-- 2020-05-24 19:57 +0000 516226 isabelle_vscode.png
-rw-r--r-- 2020-05-24 19:57 +0000 16271 package.json
-rw-r--r-- 2020-05-24 19:57 +0000 281 tsconfig.json
-rw-r--r-- 2020-05-24 19:57 +0000 2106 vsc-extension-quickstart.md