lean4monaco 1.0.11 → 1.0.13

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