isabelle-language.json
isabelle-ml-grammar.json
isabelle-ml-language.json
isabelle.png
isabelle_vscode.png
media/main.js
media/Preview_inverse.svg
media/PreviewOnRightPane_16x_dark.svg
media/PreviewOnRightPane_16x.svg
media/Preview.svg
media/ViewSource_inverse.svg
media/ViewSource.svg
media/vscode.css
package.json
README.md
src/abbreviations.ts
src/completion.ts
src/decorations.ts
src/extension.ts
src/file.ts
src/library.ts
src/lsp.ts
src/output_view.ts
src/platform.ts
src/prefix_tree.ts
src/preview_panel.ts
src/script_decorations.ts
src/state_panel.ts
src/symbol.ts
src/vscode_lib.ts
test/extension.test.ts
test/index.ts
tsconfig.json
.vscodeignore
.vscode/launch.json
.vscode/settings.json
.vscode/tasks.json
yarn.lock
.yarnrc