lean4monaco 1.0.7 → 1.0.9

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (125) hide show
  1. package/README.md +1 -1
  2. package/dist/editor.js +1 -28
  3. package/dist/infowebview.d.ts +2 -2
  4. package/dist/infowebview.js +2 -2
  5. package/dist/leanmonaco.d.ts +18 -8
  6. package/dist/leanmonaco.js +154 -117
  7. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +2 -1
  8. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +2 -2
  9. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +3 -2
  10. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +5 -3
  11. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +2 -1
  12. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +4 -2
  13. package/dist/monacoleanclient.d.ts +1 -1
  14. package/dist/preconditions.d.ts +2 -2
  15. package/dist/themes/cobalt2.json +887 -0
  16. package/dist/vscode-lean4/lean4-infoview/package.json +59 -0
  17. package/dist/vscode-lean4/lean4-infoview/src/infoview/index.css +266 -0
  18. package/dist/vscode-lean4/lean4-infoview/test/tsconfig.json +7 -0
  19. package/dist/vscode-lean4/lean4-infoview/tsconfig.json +34 -0
  20. package/dist/vscode-lean4/lean4-infoview-api/package.json +20 -0
  21. package/dist/vscode-lean4/lean4-infoview-api/tsconfig.json +29 -0
  22. package/dist/vscode-lean4/lean4-unicode-input/package.json +19 -0
  23. package/dist/vscode-lean4/lean4-unicode-input/src/abbreviations.json +1836 -0
  24. package/dist/vscode-lean4/lean4-unicode-input/tsconfig.json +18 -0
  25. package/dist/vscode-lean4/lean4-unicode-input-component/package.json +22 -0
  26. package/dist/vscode-lean4/lean4-unicode-input-component/tsconfig.json +18 -0
  27. package/dist/vscode-lean4/lerna.json +4 -0
  28. package/dist/vscode-lean4/package-lock.json +14153 -0
  29. package/dist/vscode-lean4/package.json +39 -0
  30. package/dist/vscode-lean4/vscode-lean4/abbreviationview/tsconfig.json +10 -0
  31. package/dist/vscode-lean4/vscode-lean4/language-configuration.json +157 -0
  32. package/dist/vscode-lean4/vscode-lean4/loogleview/static/index.css +94 -0
  33. package/dist/vscode-lean4/vscode-lean4/loogleview/tsconfig.json +10 -0
  34. package/dist/vscode-lean4/vscode-lean4/package.json +963 -0
  35. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +8 -0
  36. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +20 -0
  37. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.d.ts +12 -0
  38. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.js +40 -0
  39. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +20 -0
  40. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +82 -0
  41. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.d.ts +13 -0
  42. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.js +29 -0
  43. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +28 -0
  44. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +131 -0
  45. package/dist/vscode-lean4/vscode-lean4/src/config.d.ts +33 -0
  46. package/dist/vscode-lean4/vscode-lean4/src/config.js +119 -0
  47. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +27 -0
  48. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +133 -0
  49. package/dist/vscode-lean4/vscode-lean4/src/infoview.d.ts +69 -0
  50. package/dist/vscode-lean4/vscode-lean4/src/infoview.js +710 -0
  51. package/dist/vscode-lean4/vscode-lean4/src/leanclient.d.ts +66 -0
  52. package/dist/vscode-lean4/vscode-lean4/src/leanclient.js +439 -0
  53. package/dist/vscode-lean4/vscode-lean4/src/rpc.d.ts +16 -0
  54. package/dist/vscode-lean4/vscode-lean4/src/rpc.js +102 -0
  55. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.d.ts +11 -0
  56. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.js +130 -0
  57. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.d.ts +37 -0
  58. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.js +203 -0
  59. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.d.ts +40 -0
  60. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.js +209 -0
  61. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.d.ts +16 -0
  62. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.js +129 -0
  63. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.d.ts +3 -0
  64. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.js +4 -0
  65. package/dist/vscode-lean4/vscode-lean4/src/utils/envPath.d.ts +21 -0
  66. package/dist/vscode-lean4/vscode-lean4/src/utils/envPath.js +53 -0
  67. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.d.ts +36 -0
  68. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.js +143 -0
  69. package/dist/vscode-lean4/vscode-lean4/src/utils/fsHelper.d.ts +19 -0
  70. package/dist/vscode-lean4/vscode-lean4/src/utils/fsHelper.js +43 -0
  71. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +37 -0
  72. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.js +210 -0
  73. package/dist/vscode-lean4/vscode-lean4/src/utils/logger.d.ts +7 -0
  74. package/dist/vscode-lean4/vscode-lean4/src/utils/logger.js +20 -0
  75. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.d.ts +24 -0
  76. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.js +110 -0
  77. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.d.ts +27 -0
  78. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.js +131 -0
  79. package/dist/vscode-lean4/vscode-lean4/syntaxes/codeblock.json +45 -0
  80. package/dist/vscode-lean4/vscode-lean4/syntaxes/lean4-markdown.json +2637 -0
  81. package/dist/vscode-lean4/vscode-lean4/syntaxes/lean4.json +127 -0
  82. package/dist/vscode-lean4/vscode-lean4/tsconfig.json +18 -0
  83. package/dist/vscode-lean4/vscode-lean4/webview/tsconfig.json +11 -0
  84. package/dist/webview.js +1 -1
  85. package/package.json +1 -1
  86. package/dist/importmetaurl.d.ts +0 -2
  87. package/dist/importmetaurl.js +0 -26
  88. package/dist/monaco-lean4/lean4-infoview/src/index.d.ts +0 -16
  89. package/dist/monaco-lean4/lean4-infoview/src/index.js +0 -29
  90. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.d.ts +0 -12
  91. package/dist/monaco-lean4/lean4-infoview/src/infoview/collapsing.js +0 -37
  92. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.d.ts +0 -40
  93. package/dist/monaco-lean4/lean4-infoview/src/infoview/contexts.js +0 -44
  94. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.d.ts +0 -22
  95. package/dist/monaco-lean4/lean4-infoview/src/infoview/editorConnection.js +0 -41
  96. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.d.ts +0 -14
  97. package/dist/monaco-lean4/lean4-infoview/src/infoview/errors.js +0 -24
  98. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.d.ts +0 -33
  99. package/dist/monaco-lean4/lean4-infoview/src/infoview/event.js +0 -57
  100. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.d.ts +0 -61
  101. package/dist/monaco-lean4/lean4-infoview/src/infoview/goalLocation.js +0 -87
  102. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.d.ts +0 -11
  103. package/dist/monaco-lean4/lean4-infoview/src/infoview/goals.js +0 -141
  104. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.d.ts +0 -18
  105. package/dist/monaco-lean4/lean4-infoview/src/infoview/info.js +0 -278
  106. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.d.ts +0 -2
  107. package/dist/monaco-lean4/lean4-infoview/src/infoview/infos.js +0 -113
  108. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.d.ts +0 -18
  109. package/dist/monaco-lean4/lean4-infoview/src/infoview/interactiveCode.js +0 -164
  110. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.d.ts +0 -13
  111. package/dist/monaco-lean4/lean4-infoview/src/infoview/main.js +0 -97
  112. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.d.ts +0 -16
  113. package/dist/monaco-lean4/lean4-infoview/src/infoview/messages.js +0 -151
  114. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.d.ts +0 -21
  115. package/dist/monaco-lean4/lean4-infoview/src/infoview/rpcSessions.js +0 -67
  116. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.d.ts +0 -10
  117. package/dist/monaco-lean4/lean4-infoview/src/infoview/serverVersion.js +0 -25
  118. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.d.ts +0 -23
  119. package/dist/monaco-lean4/lean4-infoview/src/infoview/tooltips.js +0 -231
  120. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.d.ts +0 -11
  121. package/dist/monaco-lean4/lean4-infoview/src/infoview/traceExplorer.js +0 -115
  122. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.d.ts +0 -48
  123. package/dist/monaco-lean4/lean4-infoview/src/infoview/userWidget.js +0 -54
  124. package/dist/monaco-lean4/lean4-infoview/src/infoview/util.d.ts +0 -144
  125. package/dist/monaco-lean4/lean4-infoview/src/infoview/util.js +0 -366
package/dist/vscode-lean4/lean4-unicode-input/tsconfig.json ADDED
@@ -0,0 +1,18 @@
1
+ {
2
+ "compilerOptions": {
3
+ "esModuleInterop": true,
4
+ "skipLibCheck": true,
5
+ "target": "es2022",
6
+ "resolveJsonModule": true,
7
+ "strict": true,
8
+ "noUncheckedIndexedAccess": true,
9
+ "noImplicitOverride": true,
10
+ "module": "NodeNext",
11
+ "outDir": "dist",
12
+ "sourceMap": true,
13
+ "declaration": true,
14
+ "declarationMap": true,
15
+ "lib": ["es2022", "dom", "dom.iterable"]
16
+ },
17
+ "include": ["src/**/*"]
18
+ }
package/dist/vscode-lean4/lean4-unicode-input-component/package.json ADDED
@@ -0,0 +1,22 @@
1
+ {
2
+ "name": "@leanprover/unicode-input-component",
3
+ "version": "0.1.0",
4
+ "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover",
5
+ "scripts": {
6
+ "watch": "tsc --watch",
7
+ "watchTest": "tsc --watch",
8
+ "build": "tsc"
9
+ },
10
+ "main": "dist/index",
11
+ "types": "dist/index",
12
+ "files": [
13
+ "dist/*"
14
+ ],
15
+ "license": "Apache-2.0",
16
+ "dependencies": {
17
+ "@leanprover/unicode-input": "~0.1.0"
18
+ },
19
+ "devDependencies": {
20
+ "typescript": "^5.4.5"
21
+ }
22
+ }
package/dist/vscode-lean4/lean4-unicode-input-component/tsconfig.json ADDED
@@ -0,0 +1,18 @@
1
+ {
2
+ "compilerOptions": {
3
+ "esModuleInterop": true,
4
+ "skipLibCheck": true,
5
+ "target": "es2022",
6
+ "resolveJsonModule": true,
7
+ "strict": true,
8
+ "noUncheckedIndexedAccess": true,
9
+ "noImplicitOverride": true,
10
+ "module": "NodeNext",
11
+ "outDir": "dist",
12
+ "sourceMap": true,
13
+ "declaration": true,
14
+ "declarationMap": true,
15
+ "lib": ["es2022", "dom", "dom.iterable"]
16
+ },
17
+ "include": ["src/**/*"]
18
+ }
package/dist/vscode-lean4/lerna.json ADDED
@@ -0,0 +1,4 @@
1
+ {
2
+ "$schema": "node_modules/lerna/schemas/lerna-schema.json",
3
+ "version": "independent"
4
+ }