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

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.