├── .eslintrc.js ├── .git-blame-ignore-revs ├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── rfc.md └── workflows │ └── on-push.yml ├── .gitignore ├── .husky ├── .gitignore └── pre-commit ├── .npmrc ├── .prettierignore ├── .prettierrc ├── .vscode ├── extensions.json ├── launch.json ├── settings.json └── tasks.json ├── LICENSE ├── README.md ├── docs ├── dev.md ├── images │ ├── InstallPrompt.png │ ├── bootstrap.dgml │ ├── bootstrap.png │ ├── overview.dgml │ └── overview.png └── language-configuration.md ├── flake.nix ├── lean4-infoview-api ├── package.json ├── src │ ├── index.ts │ ├── infoviewApi.ts │ ├── lspTypes.ts │ ├── rpcApi.ts │ ├── rpcSessions.ts │ └── util.ts └── tsconfig.json ├── lean4-infoview ├── README.md ├── package.json ├── rollup.config.js ├── src │ ├── esm-shims │ │ ├── react-dom.ts │ │ ├── react-jsx-runtime.ts │ │ └── react.ts │ ├── index.tsx │ ├── infoview │ │ ├── collapsing.tsx │ │ ├── contexts.ts │ │ ├── editorConnection.ts │ │ ├── errors.tsx │ │ ├── event.ts │ │ ├── goalLocation.tsx │ │ ├── goals.tsx │ │ ├── highlightjs.css │ │ ├── hoverHighlight.tsx │ │ ├── index.css │ │ ├── info.tsx │ │ ├── infos.tsx │ │ ├── interactiveCode.tsx │ │ ├── main.tsx │ │ ├── messages.tsx │ │ ├── rpcSessions.tsx │ │ ├── serverVersion.ts │ │ ├── tooltips.tsx │ │ ├── traceExplorer.tsx │ │ ├── userWidget.tsx │ │ └── util.ts │ └── loader.ts ├── test │ ├── breaking.ts │ └── tsconfig.json └── tsconfig.json ├── lean4-unicode-input-component ├── LICENSE ├── README.md ├── package.json ├── src │ └── index.ts └── tsconfig.json ├── lean4-unicode-input ├── LICENSE ├── package.json ├── src │ ├── AbbreviationConfig.ts │ ├── AbbreviationProvider.ts │ ├── AbbreviationRewriter.ts │ ├── README.md │ ├── Range.ts │ ├── TrackedAbbreviation.ts │ ├── abbreviations.json │ └── index.ts └── tsconfig.json ├── lerna.json ├── package.json ├── prerelease.sh ├── release.sh └── vscode-lean4 ├── .vscodeignore ├── LICENSE ├── README.md ├── abbreviationview ├── index.ts └── tsconfig.json ├── images ├── lean_logo.png ├── lean_logo.svg ├── manual.png └── setup_guide.png ├── language-configuration.json ├── loogleview ├── index.ts ├── static │ ├── index.css │ └── index.html └── tsconfig.json ├── manual ├── images │ ├── abbreviation.png │ ├── abbreviation_tips.png │ ├── auto-implicit-inlay-hint.png │ ├── breadcrumbs.png │ ├── call-hierarchy-outgoing.png │ ├── call-hierarchy.png │ ├── code-action.png │ ├── code-folding.png │ ├── command-menu.png │ ├── command-palette.png │ ├── completion.png │ ├── diagnostics.png │ ├── document-outline.png │ ├── file-explorer.png │ ├── file-progress.png │ ├── find-references.png │ ├── go-to-file.png │ ├── go-to-symbol.png │ ├── hover.png │ ├── identifier-context-menu.png │ ├── infoview-go-to-definition.png │ ├── infoview-hover.png │ ├── infoview.png │ ├── loogleview.png │ ├── module-hierarchy.png │ ├── occurrence-highlighting.png │ ├── output-view.png │ ├── problems-view.png │ ├── project-search.png │ ├── restart-file-infoview-button.png │ ├── select-default-lean-version.png │ ├── select-project-lean-version.png │ ├── semantic-highlighting.png │ ├── settings_page.png │ ├── setup-information.png │ ├── shortcut-settings.png │ ├── show-all-abbreviations.png │ ├── sticky-scroll.png │ ├── terminal-view.png │ ├── try-this.png │ ├── uninstall-lean-versions.png │ ├── update-dependency.png │ ├── update-release-channel.png │ └── workspace-symbol-search.png └── manual.md ├── media ├── completion-example.png ├── continue.png ├── copy-to-comment-dark.svg ├── copy-to-comment-light.svg ├── diagnostic-gutter-icons │ ├── LICENSE │ ├── README.md │ ├── error-dark.svg │ ├── error-i-dark.svg │ ├── error-i-light.svg │ ├── error-i-passthrough-dark.svg │ ├── error-i-passthrough-light.svg │ ├── error-init-dark.svg │ ├── error-init-light.svg │ ├── error-l-dark.svg │ ├── error-l-light.svg │ ├── error-l-passthrough-dark.svg │ ├── error-l-passthrough-light.svg │ ├── error-light.svg │ ├── error-t-dark.svg │ ├── error-t-light.svg │ ├── error-t-passthrough-dark.svg │ ├── error-t-passthrough-light.svg │ ├── goals-accomplished-checkmark-dark.svg │ ├── goals-accomplished-checkmark-i-passthrough-dark.svg │ ├── goals-accomplished-checkmark-i-passthrough-light.svg │ ├── goals-accomplished-checkmark-l-passthrough-dark.svg │ ├── goals-accomplished-checkmark-l-passthrough-light.svg │ ├── goals-accomplished-checkmark-light.svg │ ├── goals-accomplished-checkmark-t-passthrough-dark.svg │ ├── goals-accomplished-checkmark-t-passthrough-light.svg │ ├── goals-accomplished-circled-checkmark-dark.svg │ ├── goals-accomplished-circled-checkmark-i-passthrough-dark.svg │ ├── goals-accomplished-circled-checkmark-i-passthrough-light.svg │ ├── goals-accomplished-circled-checkmark-l-passthrough-dark.svg │ ├── goals-accomplished-circled-checkmark-l-passthrough-light.svg │ ├── goals-accomplished-circled-checkmark-light.svg │ ├── goals-accomplished-circled-checkmark-t-passthrough-dark.svg │ ├── goals-accomplished-circled-checkmark-t-passthrough-light.svg │ ├── goals-accomplished-octopus-dark.svg │ ├── goals-accomplished-octopus-i-passthrough-dark.svg │ ├── goals-accomplished-octopus-i-passthrough-light.svg │ ├── goals-accomplished-octopus-l-passthrough-dark.svg │ ├── goals-accomplished-octopus-l-passthrough-light.svg │ ├── goals-accomplished-octopus-light.svg │ ├── goals-accomplished-octopus-t-passthrough-dark.svg │ ├── goals-accomplished-octopus-t-passthrough-light.svg │ ├── goals-accomplished-tada-dark.svg │ ├── goals-accomplished-tada-i-passthrough-dark.svg │ ├── goals-accomplished-tada-i-passthrough-light.svg │ ├── goals-accomplished-tada-l-passthrough-dark.svg │ ├── goals-accomplished-tada-l-passthrough-light.svg │ ├── goals-accomplished-tada-light.svg │ ├── goals-accomplished-tada-t-passthrough-dark.svg │ ├── goals-accomplished-tada-t-passthrough-light.svg │ ├── warning-dark.svg │ ├── warning-i-passthrough-dark.svg │ ├── warning-i-passthrough-light.svg │ ├── warning-l-passthrough-dark.svg │ ├── warning-l-passthrough-light.svg │ ├── warning-light.svg │ ├── warning-t-passthrough-dark.svg │ └── warning-t-passthrough-light.svg ├── display-goal-dark.svg ├── display-goal-light.svg ├── guide-documentation.md ├── guide-help.md ├── guide-installLean-linux.md ├── guide-installLean-mac.md ├── guide-installLean-windows.md ├── guide-setupProject.md ├── hover-example.png ├── infoview-overview.png ├── inspect-term-example.png ├── install-lean.png ├── lean-mini-dark.svg ├── lean-mini-light.svg ├── open-local-project_show-setup_buttons.png ├── open-setup-guide.png ├── pause.png ├── pin.png ├── progress-dark.svg ├── progress-error-dark.svg ├── progress-error-light.svg ├── progress-light.svg ├── quotes.png ├── reveal-file-location.png ├── setup.png ├── sort.png ├── troubleshooting.png ├── unpin.png └── update.png ├── package.json ├── src ├── abbreviation │ ├── AbbreviationFeature.ts │ ├── AbbreviationHoverProvider.ts │ ├── AbbreviationRewriterFeature.ts │ ├── VSCodeAbbreviationConfig.ts │ └── VSCodeAbbreviationRewriter.ts ├── abbreviationview.ts ├── config.ts ├── diagnostics │ ├── fullDiagnostics.ts │ ├── setupDiagnoser.ts │ ├── setupDiagnostics.ts │ └── setupNotifs.ts ├── exports.ts ├── extension.ts ├── infoview.ts ├── leanclient.ts ├── loogleview.ts ├── manualview.ts ├── projectinit.ts ├── projectoperations.ts ├── rpc.ts ├── taskgutter.ts └── utils │ ├── batch.ts │ ├── clientProvider.ts │ ├── converters.ts │ ├── depInstaller.ts │ ├── elan.ts │ ├── elanCommands.ts │ ├── envPath.ts │ ├── events.ts │ ├── exturi.ts │ ├── fsHelper.ts │ ├── fullInstaller.ts │ ├── groupBy.ts │ ├── internalErrors.ts │ ├── lake.ts │ ├── leanCmdRunner.ts │ ├── leanEditorProvider.ts │ ├── leanInstaller.ts │ ├── logger.ts │ ├── manifest.ts │ ├── moduleTreeViewProvider.ts │ ├── notifs.ts │ ├── pathExtensionProvider.ts │ ├── projectInfo.ts │ ├── releaseQuery.ts │ ├── semverRegex.ts │ ├── uriHandlerService.ts │ └── viewColumn.ts ├── syntaxes ├── codeblock.json ├── lean4-markdown.json └── lean4.json ├── test ├── README.md ├── suite │ ├── bootstrap │ │ └── bootstrap.test.ts │ ├── index │ │ └── index.ts │ ├── info │ │ └── info.test.ts │ ├── multi │ │ └── multi.test.ts │ ├── restarts │ │ └── restarts.test.ts │ ├── runTest.ts │ ├── simple │ │ └── simple.test.ts │ └── utils │ │ └── helpers.ts └── test-fixtures │ ├── lean3 │ ├── .gitignore │ ├── .vscode │ │ └── settings.json │ ├── Main.lean │ ├── leanpkg.path │ └── leanpkg.toml │ ├── multi │ ├── foo │ │ ├── Foo.lean │ │ ├── Main.lean │ │ ├── lakefile.lean │ │ └── lean-toolchain │ ├── multi.code-workspace │ └── test │ │ ├── Main.lean │ │ ├── Test.lean │ │ ├── lakefile.lean │ │ └── lean-toolchain │ ├── orphan │ └── factorial.lean │ └── simple │ ├── Main.lean │ ├── Test │ └── Version.lean │ ├── lakefile.lean │ └── lean-toolchain ├── tsconfig.json ├── webpack.config.js └── webview ├── index.ts └── tsconfig.json /.eslintrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.eslintrc.js -------------------------------------------------------------------------------- /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/rfc.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.github/ISSUE_TEMPLATE/rfc.md -------------------------------------------------------------------------------- /.github/workflows/on-push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.github/workflows/on-push.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.gitignore -------------------------------------------------------------------------------- /.husky/.gitignore: -------------------------------------------------------------------------------- 1 | _ 2 | -------------------------------------------------------------------------------- /.husky/pre-commit: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | . "$(dirname "$0")/_/husky.sh" 3 | 4 | npx lint-staged 5 | -------------------------------------------------------------------------------- /.npmrc: -------------------------------------------------------------------------------- 1 | //registry.npmjs.org/:_authToken=${NPM_TOKEN} 2 | -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- 1 | *.yml 2 | *.md 3 | -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.prettierrc -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/README.md -------------------------------------------------------------------------------- /docs/dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/dev.md -------------------------------------------------------------------------------- /docs/images/InstallPrompt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/images/InstallPrompt.png -------------------------------------------------------------------------------- /docs/images/bootstrap.dgml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/images/bootstrap.dgml -------------------------------------------------------------------------------- /docs/images/bootstrap.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/images/bootstrap.png -------------------------------------------------------------------------------- /docs/images/overview.dgml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/images/overview.dgml -------------------------------------------------------------------------------- /docs/images/overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/images/overview.png -------------------------------------------------------------------------------- /docs/language-configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/docs/language-configuration.md -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/flake.nix -------------------------------------------------------------------------------- /lean4-infoview-api/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/package.json -------------------------------------------------------------------------------- /lean4-infoview-api/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/index.ts -------------------------------------------------------------------------------- /lean4-infoview-api/src/infoviewApi.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/infoviewApi.ts -------------------------------------------------------------------------------- /lean4-infoview-api/src/lspTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/lspTypes.ts -------------------------------------------------------------------------------- /lean4-infoview-api/src/rpcApi.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/rpcApi.ts -------------------------------------------------------------------------------- /lean4-infoview-api/src/rpcSessions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/rpcSessions.ts -------------------------------------------------------------------------------- /lean4-infoview-api/src/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/src/util.ts -------------------------------------------------------------------------------- /lean4-infoview-api/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview-api/tsconfig.json -------------------------------------------------------------------------------- /lean4-infoview/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/README.md -------------------------------------------------------------------------------- /lean4-infoview/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/package.json -------------------------------------------------------------------------------- /lean4-infoview/rollup.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/rollup.config.js -------------------------------------------------------------------------------- /lean4-infoview/src/esm-shims/react-dom.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/esm-shims/react-dom.ts -------------------------------------------------------------------------------- /lean4-infoview/src/esm-shims/react-jsx-runtime.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/esm-shims/react-jsx-runtime.ts -------------------------------------------------------------------------------- /lean4-infoview/src/esm-shims/react.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/esm-shims/react.ts -------------------------------------------------------------------------------- /lean4-infoview/src/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/index.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/collapsing.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/collapsing.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/contexts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/contexts.ts -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/editorConnection.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/editorConnection.ts -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/errors.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/errors.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/event.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/event.ts -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/goalLocation.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/goalLocation.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/goals.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/goals.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/highlightjs.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/highlightjs.css -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/hoverHighlight.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/hoverHighlight.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/index.css -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/info.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/info.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/infos.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/infos.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/interactiveCode.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/interactiveCode.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/main.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/main.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/messages.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/messages.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/rpcSessions.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/rpcSessions.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/serverVersion.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/serverVersion.ts -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/tooltips.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/tooltips.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/traceExplorer.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/traceExplorer.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/userWidget.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/userWidget.tsx -------------------------------------------------------------------------------- /lean4-infoview/src/infoview/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/infoview/util.ts -------------------------------------------------------------------------------- /lean4-infoview/src/loader.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/src/loader.ts -------------------------------------------------------------------------------- /lean4-infoview/test/breaking.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/test/breaking.ts -------------------------------------------------------------------------------- /lean4-infoview/test/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/test/tsconfig.json -------------------------------------------------------------------------------- /lean4-infoview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-infoview/tsconfig.json -------------------------------------------------------------------------------- /lean4-unicode-input-component/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input-component/LICENSE -------------------------------------------------------------------------------- /lean4-unicode-input-component/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input-component/README.md -------------------------------------------------------------------------------- /lean4-unicode-input-component/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input-component/package.json -------------------------------------------------------------------------------- /lean4-unicode-input-component/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input-component/src/index.ts -------------------------------------------------------------------------------- /lean4-unicode-input-component/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input-component/tsconfig.json -------------------------------------------------------------------------------- /lean4-unicode-input/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/LICENSE -------------------------------------------------------------------------------- /lean4-unicode-input/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/package.json -------------------------------------------------------------------------------- /lean4-unicode-input/src/AbbreviationConfig.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/AbbreviationConfig.ts -------------------------------------------------------------------------------- /lean4-unicode-input/src/AbbreviationProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/AbbreviationProvider.ts -------------------------------------------------------------------------------- /lean4-unicode-input/src/AbbreviationRewriter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/AbbreviationRewriter.ts -------------------------------------------------------------------------------- /lean4-unicode-input/src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/README.md -------------------------------------------------------------------------------- /lean4-unicode-input/src/Range.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/Range.ts -------------------------------------------------------------------------------- /lean4-unicode-input/src/TrackedAbbreviation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/TrackedAbbreviation.ts -------------------------------------------------------------------------------- /lean4-unicode-input/src/abbreviations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/abbreviations.json -------------------------------------------------------------------------------- /lean4-unicode-input/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/src/index.ts -------------------------------------------------------------------------------- /lean4-unicode-input/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lean4-unicode-input/tsconfig.json -------------------------------------------------------------------------------- /lerna.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/lerna.json -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/package.json -------------------------------------------------------------------------------- /prerelease.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/prerelease.sh -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/release.sh -------------------------------------------------------------------------------- /vscode-lean4/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/.vscodeignore -------------------------------------------------------------------------------- /vscode-lean4/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/LICENSE -------------------------------------------------------------------------------- /vscode-lean4/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/README.md -------------------------------------------------------------------------------- /vscode-lean4/abbreviationview/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/abbreviationview/index.ts -------------------------------------------------------------------------------- /vscode-lean4/abbreviationview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/abbreviationview/tsconfig.json -------------------------------------------------------------------------------- /vscode-lean4/images/lean_logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/images/lean_logo.png -------------------------------------------------------------------------------- /vscode-lean4/images/lean_logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/images/lean_logo.svg -------------------------------------------------------------------------------- /vscode-lean4/images/manual.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/images/manual.png -------------------------------------------------------------------------------- /vscode-lean4/images/setup_guide.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/images/setup_guide.png -------------------------------------------------------------------------------- /vscode-lean4/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/language-configuration.json -------------------------------------------------------------------------------- /vscode-lean4/loogleview/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/loogleview/index.ts -------------------------------------------------------------------------------- /vscode-lean4/loogleview/static/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/loogleview/static/index.css -------------------------------------------------------------------------------- /vscode-lean4/loogleview/static/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/loogleview/static/index.html -------------------------------------------------------------------------------- /vscode-lean4/loogleview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/loogleview/tsconfig.json -------------------------------------------------------------------------------- /vscode-lean4/manual/images/abbreviation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/abbreviation.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/abbreviation_tips.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/abbreviation_tips.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/auto-implicit-inlay-hint.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/auto-implicit-inlay-hint.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/breadcrumbs.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/breadcrumbs.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/call-hierarchy-outgoing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/call-hierarchy-outgoing.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/call-hierarchy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/call-hierarchy.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/code-action.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/code-action.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/code-folding.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/code-folding.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/command-menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/command-menu.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/command-palette.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/command-palette.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/completion.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/completion.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/diagnostics.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/diagnostics.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/document-outline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/document-outline.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/file-explorer.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/file-explorer.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/file-progress.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/file-progress.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/find-references.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/find-references.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/go-to-file.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/go-to-file.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/go-to-symbol.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/go-to-symbol.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/hover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/hover.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/identifier-context-menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/identifier-context-menu.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/infoview-go-to-definition.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/infoview-go-to-definition.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/infoview-hover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/infoview-hover.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/infoview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/infoview.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/loogleview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/loogleview.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/module-hierarchy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/module-hierarchy.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/occurrence-highlighting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/occurrence-highlighting.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/output-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/output-view.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/problems-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/problems-view.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/project-search.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/project-search.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/restart-file-infoview-button.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/restart-file-infoview-button.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/select-default-lean-version.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/select-default-lean-version.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/select-project-lean-version.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/select-project-lean-version.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/semantic-highlighting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/semantic-highlighting.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/settings_page.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/settings_page.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/setup-information.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/setup-information.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/shortcut-settings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/shortcut-settings.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/show-all-abbreviations.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/show-all-abbreviations.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/sticky-scroll.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/sticky-scroll.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/terminal-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/terminal-view.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/try-this.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/try-this.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/uninstall-lean-versions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/uninstall-lean-versions.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/update-dependency.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/update-dependency.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/update-release-channel.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/update-release-channel.png -------------------------------------------------------------------------------- /vscode-lean4/manual/images/workspace-symbol-search.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/images/workspace-symbol-search.png -------------------------------------------------------------------------------- /vscode-lean4/manual/manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/manual/manual.md -------------------------------------------------------------------------------- /vscode-lean4/media/completion-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/completion-example.png -------------------------------------------------------------------------------- /vscode-lean4/media/continue.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/continue.png -------------------------------------------------------------------------------- /vscode-lean4/media/copy-to-comment-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/copy-to-comment-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/copy-to-comment-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/copy-to-comment-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/LICENSE -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/README.md -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-i-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-i-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-i-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-i-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-init-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-init-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-init-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-init-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-l-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-l-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-l-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-l-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-t-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-t-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-t-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-t-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/error-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-circled-checkmark-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-octopus-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-tada-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-i-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-l-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/diagnostic-gutter-icons/warning-t-passthrough-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/display-goal-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/display-goal-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/display-goal-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/display-goal-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/guide-documentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-documentation.md -------------------------------------------------------------------------------- /vscode-lean4/media/guide-help.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-help.md -------------------------------------------------------------------------------- /vscode-lean4/media/guide-installLean-linux.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-installLean-linux.md -------------------------------------------------------------------------------- /vscode-lean4/media/guide-installLean-mac.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-installLean-mac.md -------------------------------------------------------------------------------- /vscode-lean4/media/guide-installLean-windows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-installLean-windows.md -------------------------------------------------------------------------------- /vscode-lean4/media/guide-setupProject.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/guide-setupProject.md -------------------------------------------------------------------------------- /vscode-lean4/media/hover-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/hover-example.png -------------------------------------------------------------------------------- /vscode-lean4/media/infoview-overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/infoview-overview.png -------------------------------------------------------------------------------- /vscode-lean4/media/inspect-term-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/inspect-term-example.png -------------------------------------------------------------------------------- /vscode-lean4/media/install-lean.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/install-lean.png -------------------------------------------------------------------------------- /vscode-lean4/media/lean-mini-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/lean-mini-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/lean-mini-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/lean-mini-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/open-local-project_show-setup_buttons.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/open-local-project_show-setup_buttons.png -------------------------------------------------------------------------------- /vscode-lean4/media/open-setup-guide.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/open-setup-guide.png -------------------------------------------------------------------------------- /vscode-lean4/media/pause.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/pause.png -------------------------------------------------------------------------------- /vscode-lean4/media/pin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/pin.png -------------------------------------------------------------------------------- /vscode-lean4/media/progress-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/progress-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/progress-error-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/progress-error-dark.svg -------------------------------------------------------------------------------- /vscode-lean4/media/progress-error-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/progress-error-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/progress-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/progress-light.svg -------------------------------------------------------------------------------- /vscode-lean4/media/quotes.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/quotes.png -------------------------------------------------------------------------------- /vscode-lean4/media/reveal-file-location.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/reveal-file-location.png -------------------------------------------------------------------------------- /vscode-lean4/media/setup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/setup.png -------------------------------------------------------------------------------- /vscode-lean4/media/sort.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/sort.png -------------------------------------------------------------------------------- /vscode-lean4/media/troubleshooting.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/troubleshooting.png -------------------------------------------------------------------------------- /vscode-lean4/media/unpin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/unpin.png -------------------------------------------------------------------------------- /vscode-lean4/media/update.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/media/update.png -------------------------------------------------------------------------------- /vscode-lean4/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/package.json -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviation/AbbreviationFeature.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviation/AbbreviationFeature.ts -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviation/AbbreviationHoverProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.ts -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.ts -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.ts -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.ts -------------------------------------------------------------------------------- /vscode-lean4/src/abbreviationview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/abbreviationview.ts -------------------------------------------------------------------------------- /vscode-lean4/src/config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/config.ts -------------------------------------------------------------------------------- /vscode-lean4/src/diagnostics/fullDiagnostics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/diagnostics/fullDiagnostics.ts -------------------------------------------------------------------------------- /vscode-lean4/src/diagnostics/setupDiagnoser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/diagnostics/setupDiagnoser.ts -------------------------------------------------------------------------------- /vscode-lean4/src/diagnostics/setupDiagnostics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/diagnostics/setupDiagnostics.ts -------------------------------------------------------------------------------- /vscode-lean4/src/diagnostics/setupNotifs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/diagnostics/setupNotifs.ts -------------------------------------------------------------------------------- /vscode-lean4/src/exports.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/exports.ts -------------------------------------------------------------------------------- /vscode-lean4/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/extension.ts -------------------------------------------------------------------------------- /vscode-lean4/src/infoview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/infoview.ts -------------------------------------------------------------------------------- /vscode-lean4/src/leanclient.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/leanclient.ts -------------------------------------------------------------------------------- /vscode-lean4/src/loogleview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/loogleview.ts -------------------------------------------------------------------------------- /vscode-lean4/src/manualview.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/manualview.ts -------------------------------------------------------------------------------- /vscode-lean4/src/projectinit.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/projectinit.ts -------------------------------------------------------------------------------- /vscode-lean4/src/projectoperations.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/projectoperations.ts -------------------------------------------------------------------------------- /vscode-lean4/src/rpc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/rpc.ts -------------------------------------------------------------------------------- /vscode-lean4/src/taskgutter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/taskgutter.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/batch.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/batch.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/clientProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/clientProvider.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/converters.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/converters.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/depInstaller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/depInstaller.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/elan.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/elan.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/elanCommands.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/elanCommands.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/envPath.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/envPath.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/events.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/events.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/exturi.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/exturi.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/fsHelper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/fsHelper.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/fullInstaller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/fullInstaller.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/groupBy.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/groupBy.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/internalErrors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/internalErrors.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/lake.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/lake.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/leanCmdRunner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/leanCmdRunner.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/leanEditorProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/leanEditorProvider.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/leanInstaller.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/leanInstaller.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/logger.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/manifest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/manifest.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/moduleTreeViewProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/moduleTreeViewProvider.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/notifs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/notifs.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/pathExtensionProvider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/pathExtensionProvider.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/projectInfo.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/projectInfo.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/releaseQuery.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/releaseQuery.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/semverRegex.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/semverRegex.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/uriHandlerService.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/uriHandlerService.ts -------------------------------------------------------------------------------- /vscode-lean4/src/utils/viewColumn.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/src/utils/viewColumn.ts -------------------------------------------------------------------------------- /vscode-lean4/syntaxes/codeblock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/syntaxes/codeblock.json -------------------------------------------------------------------------------- /vscode-lean4/syntaxes/lean4-markdown.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/syntaxes/lean4-markdown.json -------------------------------------------------------------------------------- /vscode-lean4/syntaxes/lean4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/syntaxes/lean4.json -------------------------------------------------------------------------------- /vscode-lean4/test/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/README.md -------------------------------------------------------------------------------- /vscode-lean4/test/suite/bootstrap/bootstrap.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/bootstrap/bootstrap.test.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/index/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/index/index.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/info/info.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/info/info.test.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/multi/multi.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/multi/multi.test.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/restarts/restarts.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/restarts/restarts.test.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/runTest.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/runTest.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/simple/simple.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/simple/simple.test.ts -------------------------------------------------------------------------------- /vscode-lean4/test/suite/utils/helpers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/suite/utils/helpers.ts -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/lean3/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/lean3/.vscode/settings.json: -------------------------------------------------------------------------------- 1 | { 2 | "lean.infoViewAutoOpen": false 3 | } 4 | -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/lean3/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/lean3/Main.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/lean3/leanpkg.path: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/lean3/leanpkg.path -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/lean3/leanpkg.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/lean3/leanpkg.toml -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/foo/Foo.lean: -------------------------------------------------------------------------------- 1 | def hello := "foo" 2 | 3 | #eval Lean.versionString 4 | -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/foo/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/foo/Main.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/foo/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/foo/lakefile.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/foo/lean-toolchain: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/foo/lean-toolchain -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/multi.code-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/multi.code-workspace -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/test/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/test/Main.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/test/Test.lean: -------------------------------------------------------------------------------- 1 | def hello := "test" -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/test/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/multi/test/lakefile.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/multi/test/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:nightly-2022-10-26 2 | -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/orphan/factorial.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/orphan/factorial.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/simple/Main.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/simple/Main.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/simple/Test/Version.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/simple/Test/Version.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/simple/lakefile.lean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/test/test-fixtures/simple/lakefile.lean -------------------------------------------------------------------------------- /vscode-lean4/test/test-fixtures/simple/lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:nightly-2022-10-26 2 | -------------------------------------------------------------------------------- /vscode-lean4/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/tsconfig.json -------------------------------------------------------------------------------- /vscode-lean4/webpack.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/webpack.config.js -------------------------------------------------------------------------------- /vscode-lean4/webview/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/webview/index.ts -------------------------------------------------------------------------------- /vscode-lean4/webview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/leanprover/vscode-lean4/HEAD/vscode-lean4/webview/tsconfig.json --------------------------------------------------------------------------------