├── .github ├── dependabot.yml ├── media │ ├── create_project.jpg │ ├── create_project_options.jpg │ ├── create_project_proxy.jpg │ ├── example.png │ ├── goal_popover.png │ ├── inlay_hint.png │ ├── lean_context_menu.jpg │ ├── run_configuration.jpg │ ├── run_configuration_debug_error.jpg │ └── run_configuration_main_gutter.jpg └── workflows │ ├── build.yml │ ├── pre-release.yml │ ├── release.yml │ └── run-ui-tests.yml ├── .gitignore ├── .idea └── gradle.xml ├── .run ├── GoalTest.run.xml ├── GoalTest.testDeserializationLazyTraceChildrenToInteractiveResp.run.xml ├── GoalTest.testDeserializeLazyTraceChildrenToInteractiveResp.run.xml ├── GoalTest.testDeserializeMsgEmbedTrace.run.xml ├── MyPluginTest.run.xml ├── Run IDE for UI Tests.run.xml ├── Run Plugin.run.xml ├── Run Qodana.run.xml ├── Run Tests.run.xml └── Run Verifications.run.xml ├── CHANGELOG.md ├── DEVELOP.md ├── ISSUES.md ├── LICENSE ├── README.md ├── TODO.md ├── TemplateToDoList.md ├── browser-infoview ├── .eslintrc.cjs ├── .gitignore ├── README.md ├── index.html ├── package-lock.json ├── package.json ├── public │ ├── fonts │ │ ├── JuliaMono-Regular.ttf │ │ └── codicon.ttf │ ├── imports │ │ ├── index.production.min.js │ │ ├── react-dom.production.min.js │ │ ├── react-jsx-runtime.production.min.js │ │ └── react.production.min.js │ └── vite.svg ├── src │ ├── App.css │ ├── App.tsx │ ├── Editor.css │ ├── assets │ │ └── react.svg │ ├── index.css │ ├── infoview.css │ ├── main.tsx │ ├── vite-env.d.ts │ └── vscode.css ├── tsconfig.app.json ├── tsconfig.json ├── tsconfig.node.json └── vite.config.ts ├── docs ├── create-project.md ├── inlayhints.md ├── lean-editor-context.md ├── run-configuration.md └── unicode-live-templates.md ├── gradle.properties ├── gradle ├── libs.versions.toml └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── qodana.yml ├── settings.gradle.kts └── src ├── main ├── grammars │ ├── Lean4.g4 │ ├── Lean4Lexer.flex │ └── Lean4Parser.bnf ├── kotlin │ └── lean4ij │ │ ├── MyBundle.kt │ │ ├── actions │ │ ├── AddInlayGoalHint.kt │ │ ├── DecreaseZoomLevelForLeanInfoViewJcef.kt │ │ ├── DelInlayGoalHint.kt │ │ ├── FindInExternalInfoview.kt │ │ ├── FindInInternalInfoview.kt │ │ ├── IncreaseZoomLevelForLeanInfoViewJcef.kt │ │ ├── InternalInfoviewGotoDefinition.kt │ │ ├── LakeBuild.kt │ │ ├── OpenExternalInfoviewInBrowser.kt │ │ ├── ResetZoomLevelForLeanInfoViewJcef.kt │ │ ├── RestartCurrentFile.kt │ │ ├── RestartInternalInfoview.kt │ │ ├── RestartJcefInfoview.kt │ │ ├── RestartLeanLsp.kt │ │ ├── ToggleAutomaticallyRefreshInternalInfoview.kt │ │ ├── ToggleInfoviewPreferred.kt │ │ ├── ToggleInternalInfoviewSoftWrap.kt │ │ ├── ToggleLeanInfoViewInternal.kt │ │ ├── ToggleLeanInfoViewJcef.kt │ │ ├── ToggleLeanInfoviewJcefToolbarVisibility.kt │ │ ├── ToggleLeanInfoviewToolbarVisibility.kt │ │ └── ToggleMiniInfoview.kt │ │ ├── infoview │ │ ├── InfoViewWindowFactory.kt │ │ ├── InfoviewLibrarySearchHelper.kt │ │ ├── InfoviewMouseListener.kt │ │ ├── InfoviewMouseMotionListener.kt │ │ ├── InfoviewPopupDocumentation.kt │ │ ├── LeanInfoViewWindow.kt │ │ ├── LeanInfoviewColorSettingPage.kt │ │ ├── LeanInfoviewContext.kt │ │ ├── LeanInfoviewService.kt │ │ ├── MiniInfoview.kt │ │ ├── MiniInfoviewService.kt │ │ ├── dsl │ │ │ └── dsl.kt │ │ └── external │ │ │ ├── ExternalInfoViewService.kt │ │ │ ├── JcefInfoviewService.kt │ │ │ ├── JcefInfoviewTooWindowFactory.kt │ │ │ ├── Route.kt │ │ │ └── data │ │ │ ├── ApplyEditParam.kt │ │ │ ├── CursorLocation.kt │ │ │ ├── InfoviewEvent.kt │ │ │ └── SseEvent.kt │ │ ├── language │ │ ├── AdditionalMinorFeatures.kt │ │ ├── InlayHints.kt │ │ ├── Lean4Commenter.kt │ │ ├── Lean4Context.kt │ │ ├── Lean4Language.kt │ │ ├── Lean4ManualCompletionContributor.kt │ │ ├── Lean4ParserDefinition.kt │ │ ├── Lean4PsiFile.kt │ │ ├── Lean4SdkType.kt │ │ ├── Lean4SyntaxHighlighter.kt │ │ ├── Lean4WorkspaceSymbolContributor.kt │ │ ├── LeanDebuggerEditorsExtension.kt │ │ └── WorkspaceSymbolData.kt │ │ ├── lsp │ │ ├── InternalLeanLanguageServer.kt │ │ ├── Lean4LSPClientFeatures.kt │ │ ├── LeanLSPCompletionFeature.kt │ │ ├── LeanLanguageServer.kt │ │ ├── LeanLanguageServerFactory.kt │ │ ├── LeanLanguageServerLifecycleListener.kt │ │ ├── LeanLanguageServerProvider.kt │ │ ├── LeanLsp4jClient.kt │ │ └── data │ │ │ ├── CodeWithInfos.kt │ │ │ ├── ContextInfo.kt │ │ │ ├── FileProgressProcessingInfo.kt │ │ │ ├── GetGoToLocationParams.kt │ │ │ ├── InfoPopup.kt │ │ │ ├── InfoviewRender.kt │ │ │ ├── InteractiveDiagnosticsParams.kt │ │ │ ├── InteractiveGoal.kt │ │ │ ├── InteractiveGoals.kt │ │ │ ├── InteractiveGoalsParams.kt │ │ │ ├── InteractiveHypothesisBundle.kt │ │ │ ├── InteractiveInfoParams.kt │ │ │ ├── InteractiveTermGoal.kt │ │ │ ├── InteractiveTermGoalParams.kt │ │ │ ├── LazyTraceChildrenToInteractiveParams.kt │ │ │ ├── LineRange.kt │ │ │ ├── PlainGoal.kt │ │ │ ├── PlainGoalParams.kt │ │ │ ├── PlainTermGoal.kt │ │ │ ├── PlainTermGoalParams.kt │ │ │ ├── Position.kt │ │ │ ├── ProcessingInfo.kt │ │ │ ├── Range.kt │ │ │ ├── RpcCallParams.kt │ │ │ ├── RpcCallParamsRaw.kt │ │ │ ├── RpcConnectParams.kt │ │ │ ├── RpcConnected.kt │ │ │ ├── RpcKeepAliveParams.kt │ │ │ ├── SubexprInfo.kt │ │ │ └── TextDocumentPositionParams.kt │ │ ├── module │ │ └── Lean4ModuleType.kt │ │ ├── project │ │ ├── BuildWindowService.kt │ │ ├── FileProgressGutterIconRender.kt │ │ ├── LeanFile.kt │ │ ├── LeanProjectActivity.kt │ │ ├── LeanProjectService.kt │ │ ├── ProjectExtension.kt │ │ ├── ToolchainService.kt │ │ ├── leanFileProgressFillingLineMarkerRender.kt │ │ ├── leanFileProgressFinishedFillingLineMarkerRender.kt │ │ └── listeners │ │ │ ├── Lean4DocumentListener.kt │ │ │ ├── Lean4EditorFocusChangeListener.kt │ │ │ ├── LeanFileCaretListener.kt │ │ │ ├── LeanFileEditorManagerListener.kt │ │ │ ├── LeanFileOpenedListener.kt │ │ │ └── MyApplicationActivationListener.kt │ │ ├── run │ │ ├── ElanRunConfigurationType.kt │ │ ├── LakeRunConfigurationType.kt │ │ ├── LeanRunConfigurationType.kt │ │ ├── MainRunConfigurationProducer.kt │ │ ├── MainRunLineMarkerContributor.kt │ │ └── MainRunner.kt │ │ ├── sdk │ │ ├── Lean4StdLibraryProvider.kt │ │ ├── LeanLibrary.kt │ │ └── SdkService.kt │ │ ├── services │ │ ├── MyProjectDisposableService.kt │ │ └── MyProjectService.kt │ │ ├── setting │ │ ├── Lean4Configurable.kt │ │ └── Lean4Settings.kt │ │ └── util │ │ ├── Constants.kt │ │ ├── GsonUtil.kt │ │ ├── LeanUtil.kt │ │ ├── LspUtil.kt │ │ ├── OsUtil.kt │ │ ├── ProcessUtil.kt │ │ ├── ProgressUtil.kt │ │ └── ProjectUtil.kt └── resources │ ├── META-INF │ └── plugin.xml │ ├── bundles │ ├── lean4-markdown.json │ ├── lean4.json │ ├── package.json │ └── package.json.bak │ ├── icons │ ├── ignored.svg │ ├── ignored_dark.svg │ ├── infoview_icon.svg │ ├── infoview_icon_dark.svg │ ├── inlayGlobe.svg │ ├── inlayGlobe_dark.svg │ ├── jcef_icon.svg │ ├── jcef_icon_dark.svg │ ├── lean_icon.svg │ ├── lean_icon_dark.svg │ ├── libraryFolder.svg │ ├── libraryFolder_dark.svg │ ├── newLine.svg │ ├── newLine_dark.svg │ ├── review_eye.svg │ ├── textAutoGenerate.svg │ └── textAutoGenerate_dark.svg │ ├── liveTemplates │ ├── Lean4-pair.xml │ ├── Lean4-space.xml │ ├── Lean4.xml │ ├── abbreviations.json │ └── abbreviations_pairs.json │ ├── messages │ └── MyBundle.properties │ ├── tactics.txt │ └── toolchains.txt └── test ├── kotlin └── lean4ij │ ├── MyPluginTest.kt │ ├── infoview │ ├── GoalTest.kt │ └── dsl │ │ └── DslKtTest.kt │ ├── language │ └── Lean4ParsingTest.kt │ ├── test │ └── test.kt │ └── util │ ├── GsonUtilTest.kt │ └── LeanUtilTest.kt ├── resources ├── lsp │ ├── interactiveGoals_sample.json │ ├── lazyTraceChildrenToInteractive_resp_sample.json │ ├── lazyTraceChildrenToInteractive_resp_sample1.json │ ├── msgEmbedTrace_sample.json │ └── msgEmbedTrace_sample1.json └── lsp_test.http └── testData ├── ParsingDefinition.lean ├── ParsingDefinition.txt └── rename ├── foo.xml └── foo_after.xml /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/media/create_project.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/create_project.jpg -------------------------------------------------------------------------------- /.github/media/create_project_options.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/create_project_options.jpg -------------------------------------------------------------------------------- /.github/media/create_project_proxy.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/create_project_proxy.jpg -------------------------------------------------------------------------------- /.github/media/example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/example.png -------------------------------------------------------------------------------- /.github/media/goal_popover.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/goal_popover.png -------------------------------------------------------------------------------- /.github/media/inlay_hint.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/inlay_hint.png -------------------------------------------------------------------------------- /.github/media/lean_context_menu.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/lean_context_menu.jpg -------------------------------------------------------------------------------- /.github/media/run_configuration.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/run_configuration.jpg -------------------------------------------------------------------------------- /.github/media/run_configuration_debug_error.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/run_configuration_debug_error.jpg -------------------------------------------------------------------------------- /.github/media/run_configuration_main_gutter.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/media/run_configuration_main_gutter.jpg -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/pre-release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/workflows/pre-release.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/run-ui-tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.github/workflows/run-ui-tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/gradle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.idea/gradle.xml -------------------------------------------------------------------------------- /.run/GoalTest.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/GoalTest.run.xml -------------------------------------------------------------------------------- /.run/GoalTest.testDeserializationLazyTraceChildrenToInteractiveResp.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/GoalTest.testDeserializationLazyTraceChildrenToInteractiveResp.run.xml -------------------------------------------------------------------------------- /.run/GoalTest.testDeserializeLazyTraceChildrenToInteractiveResp.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/GoalTest.testDeserializeLazyTraceChildrenToInteractiveResp.run.xml -------------------------------------------------------------------------------- /.run/GoalTest.testDeserializeMsgEmbedTrace.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/GoalTest.testDeserializeMsgEmbedTrace.run.xml -------------------------------------------------------------------------------- /.run/MyPluginTest.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/MyPluginTest.run.xml -------------------------------------------------------------------------------- /.run/Run IDE for UI Tests.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/Run IDE for UI Tests.run.xml -------------------------------------------------------------------------------- /.run/Run Plugin.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/Run Plugin.run.xml -------------------------------------------------------------------------------- /.run/Run Qodana.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/Run Qodana.run.xml -------------------------------------------------------------------------------- /.run/Run Tests.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/Run Tests.run.xml -------------------------------------------------------------------------------- /.run/Run Verifications.run.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/.run/Run Verifications.run.xml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /DEVELOP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/DEVELOP.md -------------------------------------------------------------------------------- /ISSUES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/ISSUES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/TODO.md -------------------------------------------------------------------------------- /TemplateToDoList.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/TemplateToDoList.md -------------------------------------------------------------------------------- /browser-infoview/.eslintrc.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/.eslintrc.cjs -------------------------------------------------------------------------------- /browser-infoview/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/.gitignore -------------------------------------------------------------------------------- /browser-infoview/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/README.md -------------------------------------------------------------------------------- /browser-infoview/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/index.html -------------------------------------------------------------------------------- /browser-infoview/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/package-lock.json -------------------------------------------------------------------------------- /browser-infoview/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/package.json -------------------------------------------------------------------------------- /browser-infoview/public/fonts/JuliaMono-Regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/fonts/JuliaMono-Regular.ttf -------------------------------------------------------------------------------- /browser-infoview/public/fonts/codicon.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/fonts/codicon.ttf -------------------------------------------------------------------------------- /browser-infoview/public/imports/index.production.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/imports/index.production.min.js -------------------------------------------------------------------------------- /browser-infoview/public/imports/react-dom.production.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/imports/react-dom.production.min.js -------------------------------------------------------------------------------- /browser-infoview/public/imports/react-jsx-runtime.production.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/imports/react-jsx-runtime.production.min.js -------------------------------------------------------------------------------- /browser-infoview/public/imports/react.production.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/imports/react.production.min.js -------------------------------------------------------------------------------- /browser-infoview/public/vite.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/public/vite.svg -------------------------------------------------------------------------------- /browser-infoview/src/App.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/App.css -------------------------------------------------------------------------------- /browser-infoview/src/App.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/App.tsx -------------------------------------------------------------------------------- /browser-infoview/src/Editor.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/Editor.css -------------------------------------------------------------------------------- /browser-infoview/src/assets/react.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/assets/react.svg -------------------------------------------------------------------------------- /browser-infoview/src/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/index.css -------------------------------------------------------------------------------- /browser-infoview/src/infoview.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/infoview.css -------------------------------------------------------------------------------- /browser-infoview/src/main.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/main.tsx -------------------------------------------------------------------------------- /browser-infoview/src/vite-env.d.ts: -------------------------------------------------------------------------------- 1 | /// 2 | -------------------------------------------------------------------------------- /browser-infoview/src/vscode.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/src/vscode.css -------------------------------------------------------------------------------- /browser-infoview/tsconfig.app.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/tsconfig.app.json -------------------------------------------------------------------------------- /browser-infoview/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/tsconfig.json -------------------------------------------------------------------------------- /browser-infoview/tsconfig.node.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/tsconfig.node.json -------------------------------------------------------------------------------- /browser-infoview/vite.config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/browser-infoview/vite.config.ts -------------------------------------------------------------------------------- /docs/create-project.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/docs/create-project.md -------------------------------------------------------------------------------- /docs/inlayhints.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/docs/inlayhints.md -------------------------------------------------------------------------------- /docs/lean-editor-context.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/docs/lean-editor-context.md -------------------------------------------------------------------------------- /docs/run-configuration.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/docs/run-configuration.md -------------------------------------------------------------------------------- /docs/unicode-live-templates.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/docs/unicode-live-templates.md -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/libs.versions.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradle/libs.versions.toml -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/gradlew.bat -------------------------------------------------------------------------------- /qodana.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/qodana.yml -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/settings.gradle.kts -------------------------------------------------------------------------------- /src/main/grammars/Lean4.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/grammars/Lean4.g4 -------------------------------------------------------------------------------- /src/main/grammars/Lean4Lexer.flex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/grammars/Lean4Lexer.flex -------------------------------------------------------------------------------- /src/main/grammars/Lean4Parser.bnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/grammars/Lean4Parser.bnf -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/MyBundle.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/MyBundle.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/AddInlayGoalHint.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/DecreaseZoomLevelForLeanInfoViewJcef.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/DecreaseZoomLevelForLeanInfoViewJcef.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/DelInlayGoalHint.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/DelInlayGoalHint.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/FindInExternalInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/FindInExternalInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/FindInInternalInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/FindInInternalInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/IncreaseZoomLevelForLeanInfoViewJcef.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/IncreaseZoomLevelForLeanInfoViewJcef.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/InternalInfoviewGotoDefinition.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/InternalInfoviewGotoDefinition.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/LakeBuild.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/LakeBuild.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/OpenExternalInfoviewInBrowser.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/OpenExternalInfoviewInBrowser.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ResetZoomLevelForLeanInfoViewJcef.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ResetZoomLevelForLeanInfoViewJcef.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/RestartCurrentFile.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/RestartCurrentFile.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/RestartInternalInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/RestartInternalInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/RestartJcefInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/RestartJcefInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/RestartLeanLsp.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/RestartLeanLsp.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleAutomaticallyRefreshInternalInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleAutomaticallyRefreshInternalInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleInfoviewPreferred.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleInfoviewPreferred.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleInternalInfoviewSoftWrap.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleInternalInfoviewSoftWrap.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewInternal.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewJcef.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleLeanInfoViewJcef.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleLeanInfoviewJcefToolbarVisibility.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleLeanInfoviewJcefToolbarVisibility.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleLeanInfoviewToolbarVisibility.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleLeanInfoviewToolbarVisibility.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/actions/ToggleMiniInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/actions/ToggleMiniInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/InfoViewWindowFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/InfoViewWindowFactory.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/InfoviewLibrarySearchHelper.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/InfoviewLibrarySearchHelper.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/InfoviewMouseListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/InfoviewMouseMotionListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/InfoviewMouseMotionListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/LeanInfoviewContext.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/LeanInfoviewContext.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/LeanInfoviewService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/LeanInfoviewService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/MiniInfoview.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/MiniInfoview.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/MiniInfoviewService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/MiniInfoviewService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/dsl/dsl.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/dsl/dsl.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/ExternalInfoViewService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/JcefInfoviewService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/JcefInfoviewService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/Route.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/Route.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/data/ApplyEditParam.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/data/ApplyEditParam.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/data/CursorLocation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/data/CursorLocation.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/data/InfoviewEvent.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/data/InfoviewEvent.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/infoview/external/data/SseEvent.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/infoview/external/data/SseEvent.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/AdditionalMinorFeatures.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/AdditionalMinorFeatures.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/InlayHints.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/InlayHints.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4Commenter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4Commenter.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4Context.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4Context.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4Language.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4Language.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4ManualCompletionContributor.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4PsiFile.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4PsiFile.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4SdkType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4SdkType.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/LeanDebuggerEditorsExtension.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/LeanDebuggerEditorsExtension.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/language/WorkspaceSymbolData.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/language/WorkspaceSymbolData.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/InternalLeanLanguageServer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/InternalLeanLanguageServer.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLanguageServerLifecycleListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLanguageServerLifecycleListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLanguageServerProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/LeanLsp4jClient.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/LeanLsp4jClient.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/ContextInfo.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/ContextInfo.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/FileProgressProcessingInfo.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/FileProgressProcessingInfo.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/GetGoToLocationParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/GetGoToLocationParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InfoPopup.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InfoPopup.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveDiagnosticsParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveDiagnosticsParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveGoalsParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveGoalsParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveHypothesisBundle.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveHypothesisBundle.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveInfoParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveInfoParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoal.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoalParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/InteractiveTermGoalParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/LazyTraceChildrenToInteractiveParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/LazyTraceChildrenToInteractiveParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/LineRange.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/LineRange.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/PlainGoal.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/PlainGoal.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/PlainGoalParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/PlainGoalParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/PlainTermGoal.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/PlainTermGoal.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/PlainTermGoalParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/PlainTermGoalParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/Position.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/Position.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/ProcessingInfo.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/ProcessingInfo.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/Range.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/Range.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/RpcCallParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/RpcCallParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/RpcCallParamsRaw.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/RpcCallParamsRaw.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/RpcConnectParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/RpcConnectParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/RpcConnected.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/RpcConnected.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/RpcKeepAliveParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/RpcKeepAliveParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/SubexprInfo.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/SubexprInfo.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/lsp/data/TextDocumentPositionParams.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/lsp/data/TextDocumentPositionParams.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/module/Lean4ModuleType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/module/Lean4ModuleType.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/BuildWindowService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/BuildWindowService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/FileProgressGutterIconRender.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/FileProgressGutterIconRender.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/LeanFile.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/LeanFile.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/LeanProjectActivity.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/LeanProjectActivity.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/LeanProjectService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/LeanProjectService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/ProjectExtension.kt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/ToolchainService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/ToolchainService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/Lean4DocumentListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/Lean4DocumentListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/Lean4EditorFocusChangeListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/Lean4EditorFocusChangeListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/LeanFileCaretListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/LeanFileEditorManagerListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/LeanFileEditorManagerListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/LeanFileOpenedListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/LeanFileOpenedListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/project/listeners/MyApplicationActivationListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/project/listeners/MyApplicationActivationListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/ElanRunConfigurationType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/ElanRunConfigurationType.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/LakeRunConfigurationType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/LakeRunConfigurationType.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/LeanRunConfigurationType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/LeanRunConfigurationType.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/MainRunConfigurationProducer.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/MainRunConfigurationProducer.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/MainRunLineMarkerContributor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/MainRunLineMarkerContributor.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/run/MainRunner.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/run/MainRunner.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/sdk/Lean4StdLibraryProvider.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/sdk/Lean4StdLibraryProvider.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/sdk/LeanLibrary.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/sdk/LeanLibrary.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/sdk/SdkService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/sdk/SdkService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/services/MyProjectDisposableService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/services/MyProjectDisposableService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/services/MyProjectService.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/services/MyProjectService.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/setting/Lean4Configurable.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/setting/Lean4Configurable.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/setting/Lean4Settings.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/setting/Lean4Settings.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/Constants.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/Constants.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/GsonUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/GsonUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/LeanUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/LeanUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/LspUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/LspUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/OsUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/OsUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/ProcessUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/ProcessUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/ProgressUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/ProgressUtil.kt -------------------------------------------------------------------------------- /src/main/kotlin/lean4ij/util/ProjectUtil.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/kotlin/lean4ij/util/ProjectUtil.kt -------------------------------------------------------------------------------- /src/main/resources/META-INF/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/META-INF/plugin.xml -------------------------------------------------------------------------------- /src/main/resources/bundles/lean4-markdown.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/bundles/lean4-markdown.json -------------------------------------------------------------------------------- /src/main/resources/bundles/lean4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/bundles/lean4.json -------------------------------------------------------------------------------- /src/main/resources/bundles/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/bundles/package.json -------------------------------------------------------------------------------- /src/main/resources/bundles/package.json.bak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/bundles/package.json.bak -------------------------------------------------------------------------------- /src/main/resources/icons/ignored.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/ignored.svg -------------------------------------------------------------------------------- /src/main/resources/icons/ignored_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/ignored_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/infoview_icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/infoview_icon.svg -------------------------------------------------------------------------------- /src/main/resources/icons/infoview_icon_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/infoview_icon_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/inlayGlobe.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/inlayGlobe.svg -------------------------------------------------------------------------------- /src/main/resources/icons/inlayGlobe_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/inlayGlobe_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/jcef_icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/jcef_icon.svg -------------------------------------------------------------------------------- /src/main/resources/icons/jcef_icon_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/jcef_icon_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/lean_icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/lean_icon.svg -------------------------------------------------------------------------------- /src/main/resources/icons/lean_icon_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/lean_icon_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/libraryFolder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/libraryFolder.svg -------------------------------------------------------------------------------- /src/main/resources/icons/libraryFolder_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/libraryFolder_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/newLine.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/newLine.svg -------------------------------------------------------------------------------- /src/main/resources/icons/newLine_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/newLine_dark.svg -------------------------------------------------------------------------------- /src/main/resources/icons/review_eye.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/review_eye.svg -------------------------------------------------------------------------------- /src/main/resources/icons/textAutoGenerate.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/textAutoGenerate.svg -------------------------------------------------------------------------------- /src/main/resources/icons/textAutoGenerate_dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/icons/textAutoGenerate_dark.svg -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/Lean4-pair.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/liveTemplates/Lean4-pair.xml -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/Lean4-space.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/liveTemplates/Lean4-space.xml -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/Lean4.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/liveTemplates/Lean4.xml -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/abbreviations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/liveTemplates/abbreviations.json -------------------------------------------------------------------------------- /src/main/resources/liveTemplates/abbreviations_pairs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/liveTemplates/abbreviations_pairs.json -------------------------------------------------------------------------------- /src/main/resources/messages/MyBundle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/messages/MyBundle.properties -------------------------------------------------------------------------------- /src/main/resources/tactics.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/tactics.txt -------------------------------------------------------------------------------- /src/main/resources/toolchains.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/main/resources/toolchains.txt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/MyPluginTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/MyPluginTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/infoview/GoalTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/infoview/GoalTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/infoview/dsl/DslKtTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/infoview/dsl/DslKtTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/language/Lean4ParsingTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/language/Lean4ParsingTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/test/test.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/test/test.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/util/GsonUtilTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/util/GsonUtilTest.kt -------------------------------------------------------------------------------- /src/test/kotlin/lean4ij/util/LeanUtilTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/kotlin/lean4ij/util/LeanUtilTest.kt -------------------------------------------------------------------------------- /src/test/resources/lsp/interactiveGoals_sample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp/interactiveGoals_sample.json -------------------------------------------------------------------------------- /src/test/resources/lsp/lazyTraceChildrenToInteractive_resp_sample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp/lazyTraceChildrenToInteractive_resp_sample.json -------------------------------------------------------------------------------- /src/test/resources/lsp/lazyTraceChildrenToInteractive_resp_sample1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp/lazyTraceChildrenToInteractive_resp_sample1.json -------------------------------------------------------------------------------- /src/test/resources/lsp/msgEmbedTrace_sample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp/msgEmbedTrace_sample.json -------------------------------------------------------------------------------- /src/test/resources/lsp/msgEmbedTrace_sample1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp/msgEmbedTrace_sample1.json -------------------------------------------------------------------------------- /src/test/resources/lsp_test.http: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/resources/lsp_test.http -------------------------------------------------------------------------------- /src/test/testData/ParsingDefinition.lean: -------------------------------------------------------------------------------- 1 | 2 | def main : IO Unit := IO.println "Hello, world!" -------------------------------------------------------------------------------- /src/test/testData/ParsingDefinition.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/testData/ParsingDefinition.txt -------------------------------------------------------------------------------- /src/test/testData/rename/foo.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/testData/rename/foo.xml -------------------------------------------------------------------------------- /src/test/testData/rename/foo_after.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/onriv/lean4ij/HEAD/src/test/testData/rename/foo_after.xml --------------------------------------------------------------------------------