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

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.