lean4monaco 1.0.0

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 (87) hide show
  1. package/README.md +79 -0
  2. package/dist/editor.d.ts +10 -0
  3. package/dist/editor.js +31 -0
  4. package/dist/importmetaurl.d.ts +2 -0
  5. package/dist/importmetaurl.js +26 -0
  6. package/dist/index.d.ts +2 -0
  7. package/dist/index.js +2 -0
  8. package/dist/infowebview.d.ts +21 -0
  9. package/dist/infowebview.js +80 -0
  10. package/dist/leanmonaco.d.ts +26 -0
  11. package/dist/leanmonaco.js +205 -0
  12. package/dist/monaco-lean4/lean4-infoview/package.json +59 -0
  13. package/dist/monaco-lean4/lean4-infoview/src/infoview/index.css +272 -0
  14. package/dist/monaco-lean4/lean4-infoview/test/tsconfig.json +7 -0
  15. package/dist/monaco-lean4/lean4-infoview/tsconfig.json +34 -0
  16. package/dist/monaco-lean4/lean4-infoview-api/package.json +20 -0
  17. package/dist/monaco-lean4/lean4-infoview-api/tsconfig.json +29 -0
  18. package/dist/monaco-lean4/lean4-unicode-input/package.json +19 -0
  19. package/dist/monaco-lean4/lean4-unicode-input/src/abbreviations.json +1836 -0
  20. package/dist/monaco-lean4/lean4-unicode-input/tsconfig.json +18 -0
  21. package/dist/monaco-lean4/lean4-unicode-input-component/package.json +22 -0
  22. package/dist/monaco-lean4/lean4-unicode-input-component/tsconfig.json +18 -0
  23. package/dist/monaco-lean4/lerna.json +4 -0
  24. package/dist/monaco-lean4/package-lock.json +14153 -0
  25. package/dist/monaco-lean4/package.json +39 -0
  26. package/dist/monaco-lean4/vscode-lean4/abbreviationview/tsconfig.json +10 -0
  27. package/dist/monaco-lean4/vscode-lean4/language-configuration.json +157 -0
  28. package/dist/monaco-lean4/vscode-lean4/loogleview/static/index.css +94 -0
  29. package/dist/monaco-lean4/vscode-lean4/loogleview/tsconfig.json +10 -0
  30. package/dist/monaco-lean4/vscode-lean4/package.json +944 -0
  31. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +8 -0
  32. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +20 -0
  33. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.d.ts +12 -0
  34. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.js +40 -0
  35. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +19 -0
  36. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +77 -0
  37. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.d.ts +13 -0
  38. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.js +29 -0
  39. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +27 -0
  40. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +122 -0
  41. package/dist/monaco-lean4/vscode-lean4/src/config.d.ts +33 -0
  42. package/dist/monaco-lean4/vscode-lean4/src/config.js +119 -0
  43. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +27 -0
  44. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +133 -0
  45. package/dist/monaco-lean4/vscode-lean4/src/infoview.d.ts +69 -0
  46. package/dist/monaco-lean4/vscode-lean4/src/infoview.js +711 -0
  47. package/dist/monaco-lean4/vscode-lean4/src/leanclient.d.ts +67 -0
  48. package/dist/monaco-lean4/vscode-lean4/src/leanclient.js +443 -0
  49. package/dist/monaco-lean4/vscode-lean4/src/rpc.d.ts +16 -0
  50. package/dist/monaco-lean4/vscode-lean4/src/rpc.js +102 -0
  51. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.d.ts +11 -0
  52. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.js +130 -0
  53. package/dist/monaco-lean4/vscode-lean4/src/utils/batch.d.ts +37 -0
  54. package/dist/monaco-lean4/vscode-lean4/src/utils/batch.js +203 -0
  55. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.d.ts +41 -0
  56. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.js +205 -0
  57. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.d.ts +16 -0
  58. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.js +129 -0
  59. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.d.ts +3 -0
  60. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.js +4 -0
  61. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.d.ts +21 -0
  62. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.js +53 -0
  63. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.d.ts +35 -0
  64. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.js +136 -0
  65. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.d.ts +17 -0
  66. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.js +36 -0
  67. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +37 -0
  68. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.js +210 -0
  69. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.d.ts +7 -0
  70. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.js +20 -0
  71. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.d.ts +24 -0
  72. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.js +110 -0
  73. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.d.ts +9 -0
  74. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.js +125 -0
  75. package/dist/monaco-lean4/vscode-lean4/syntaxes/codeblock.json +45 -0
  76. package/dist/monaco-lean4/vscode-lean4/syntaxes/lean4-markdown.json +2637 -0
  77. package/dist/monaco-lean4/vscode-lean4/syntaxes/lean4.json +127 -0
  78. package/dist/monaco-lean4/vscode-lean4/tsconfig.json +18 -0
  79. package/dist/monaco-lean4/vscode-lean4/webview/tsconfig.json +11 -0
  80. package/dist/monacoleanclient.d.ts +4 -0
  81. package/dist/monacoleanclient.js +17 -0
  82. package/dist/preconditions.d.ts +4 -0
  83. package/dist/preconditions.js +3 -0
  84. package/dist/vscode.css +408 -0
  85. package/dist/webview.d.ts +1 -0
  86. package/dist/webview.js +9 -0
  87. package/package.json +45 -0
package/dist/monaco-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/monaco-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/monaco-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/monaco-lean4/lerna.json ADDED
@@ -0,0 +1,4 @@
1
+ {
2
+ "$schema": "node_modules/lerna/schemas/lerna-schema.json",
3
+ "version": "independent"
4
+ }