/src/Tools/VSCode/extension/
drwxr-xr-x [up]
drwxr-xr-x .vscode
drwxr-xr-x src
drwxr-xr-x test
-rw-r--r-- 2016-12-19 20:27 +0100 116 .vscodeignore
-rw-r--r-- 2016-12-19 20:27 +0100 169 README.md
-rw-r--r-- 2016-12-19 20:27 +0100 8465 isabelle.png
-rw-r--r-- 2016-12-19 20:27 +0100 297 language-configuration.json
-rw-r--r-- 2016-12-19 20:27 +0100 1638 package.json
-rw-r--r-- 2016-12-19 20:27 +0100 281 tsconfig.json
-rw-r--r-- 2016-12-19 20:27 +0100 2106 vsc-extension-quickstart.md