isabelle-language.json
isabelle-ml-grammar.json
isabelle-ml-language.json
isabelle.png
isabelle_vscode.png
media/main.js
media/Preview_inverse.svg
media/documentation-panel.svg
media/symbol-panel.svg
media/sledgehammer-panel.svg
media/output-panel.svg
media/PreviewOnRightPane_16x_dark.svg
media/PreviewOnRightPane_16x.svg
media/Preview.svg
media/ViewSource_inverse.svg
media/ViewSource.svg
media/vscode.css
media/symbols.css
media/symbols.js
media/documentation.css
media/documentation.js
media/sledgehammer.css
media/sledgehammer.js
package.json
README.md
src/decorations.ts
src/documentation_panel.ts
src/extension.ts
src/file.ts
src/library.ts
src/lsp.ts
src/output_view.ts
src/platform.ts
src/preview_panel.ts
src/script_decorations.ts
src/sledgehammer_panel.ts
src/state_panel.ts
src/symbol.ts
src/symbol_panel.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