lean4monaco 1.1.2 → 1.1.4

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 (89) hide show
  1. package/README.md +1 -3
  2. package/dist/vscode-lean4/vscode-lean4/src/leanclient.js +3 -1
  3. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.js +0 -2
  4. package/dist/vscode-lean4/vscode-lean4/src/utils/depInstaller.d.ts +81 -0
  5. package/dist/vscode-lean4/vscode-lean4/src/utils/depInstaller.js +372 -0
  6. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.js +33 -32
  7. package/package.json +5 -2
  8. package/dist/JuliaMono-Regular.ttf +0 -0
  9. package/dist/lean4-infoview/codicon.ttf +0 -0
  10. package/dist/lean4-infoview/esm-shims/react-dom.d.ts +0 -5
  11. package/dist/lean4-infoview/esm-shims/react-jsx-runtime.d.ts +0 -5
  12. package/dist/lean4-infoview/esm-shims/react.d.ts +0 -5
  13. package/dist/lean4-infoview/index.css +0 -4161
  14. package/dist/lean4-infoview/index.d.ts +0 -16
  15. package/dist/lean4-infoview/index.development.js +0 -37312
  16. package/dist/lean4-infoview/index.production.min.js +0 -1528
  17. package/dist/lean4-infoview/infoview/collapsing.d.ts +0 -12
  18. package/dist/lean4-infoview/infoview/contexts.d.ts +0 -10
  19. package/dist/lean4-infoview/infoview/editorConnection.d.ts +0 -22
  20. package/dist/lean4-infoview/infoview/errors.d.ts +0 -14
  21. package/dist/lean4-infoview/infoview/event.d.ts +0 -33
  22. package/dist/lean4-infoview/infoview/goalLocation.d.ts +0 -61
  23. package/dist/lean4-infoview/infoview/goals.d.ts +0 -46
  24. package/dist/lean4-infoview/infoview/info.d.ts +0 -18
  25. package/dist/lean4-infoview/infoview/infos.d.ts +0 -2
  26. package/dist/lean4-infoview/infoview/interactiveCode.d.ts +0 -19
  27. package/dist/lean4-infoview/infoview/main.d.ts +0 -13
  28. package/dist/lean4-infoview/infoview/messages.d.ts +0 -19
  29. package/dist/lean4-infoview/infoview/rpcSessions.d.ts +0 -11
  30. package/dist/lean4-infoview/infoview/serverVersion.d.ts +0 -10
  31. package/dist/lean4-infoview/infoview/tooltips.d.ts +0 -32
  32. package/dist/lean4-infoview/infoview/traceExplorer.d.ts +0 -11
  33. package/dist/lean4-infoview/infoview/userWidget.d.ts +0 -39
  34. package/dist/lean4-infoview/infoview/util.d.ts +0 -144
  35. package/dist/lean4-infoview/loader.d.ts +0 -20
  36. package/dist/lean4-infoview/loader.development.js +0 -1006
  37. package/dist/lean4-infoview/loader.production.min.js +0 -1
  38. package/dist/lean4-infoview/react-dom.development.js +0 -30537
  39. package/dist/lean4-infoview/react-dom.production.min.js +0 -21
  40. package/dist/lean4-infoview/react-jsx-runtime.development.js +0 -1362
  41. package/dist/lean4-infoview/react-jsx-runtime.production.min.js +0 -1
  42. package/dist/lean4-infoview/react.development.js +0 -2823
  43. package/dist/lean4-infoview/react.production.min.js +0 -1
  44. package/dist/monaco-lean4/vscode-lean4/package.json +0 -944
  45. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +0 -9
  46. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +0 -20
  47. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.d.ts +0 -12
  48. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.js +0 -40
  49. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +0 -20
  50. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +0 -79
  51. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.d.ts +0 -13
  52. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.js +0 -29
  53. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +0 -28
  54. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +0 -124
  55. package/dist/monaco-lean4/vscode-lean4/src/config.d.ts +0 -33
  56. package/dist/monaco-lean4/vscode-lean4/src/config.js +0 -119
  57. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +0 -27
  58. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +0 -133
  59. package/dist/monaco-lean4/vscode-lean4/src/infoview.d.ts +0 -69
  60. package/dist/monaco-lean4/vscode-lean4/src/infoview.js +0 -711
  61. package/dist/monaco-lean4/vscode-lean4/src/leanclient.d.ts +0 -67
  62. package/dist/monaco-lean4/vscode-lean4/src/leanclient.js +0 -443
  63. package/dist/monaco-lean4/vscode-lean4/src/rpc.d.ts +0 -16
  64. package/dist/monaco-lean4/vscode-lean4/src/rpc.js +0 -102
  65. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.d.ts +0 -11
  66. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.js +0 -130
  67. package/dist/monaco-lean4/vscode-lean4/src/utils/batch.d.ts +0 -37
  68. package/dist/monaco-lean4/vscode-lean4/src/utils/batch.js +0 -203
  69. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.d.ts +0 -41
  70. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.js +0 -205
  71. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.d.ts +0 -16
  72. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.js +0 -129
  73. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.d.ts +0 -3
  74. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.js +0 -4
  75. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.d.ts +0 -21
  76. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.js +0 -53
  77. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.d.ts +0 -35
  78. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.js +0 -136
  79. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.d.ts +0 -17
  80. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.js +0 -36
  81. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +0 -37
  82. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.js +0 -210
  83. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.d.ts +0 -7
  84. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.js +0 -20
  85. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.d.ts +0 -24
  86. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.js +0 -110
  87. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.d.ts +0 -9
  88. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.js +0 -125
  89. package/dist/vscode.css +0 -7
@@ -1 +0,0 @@
1
- import e from"react";function r(e,r){return r.forEach((function(r){r&&"string"!=typeof r&&!Array.isArray(r)&&Object.keys(r).forEach((function(t){if("default"!==t&&!(t in e)){var o=Object.getOwnPropertyDescriptor(r,t);Object.defineProperty(e,t,o.get?o:{enumerable:!0,get:function(){return r[t]}})}}))})),Object.freeze(e)}function t(e){return e&&e.__esModule&&Object.prototype.hasOwnProperty.call(e,"default")?e.default:e}var o={},n={get exports(){return o},set exports(e){o=e}},f={},a=e,u=Symbol.for("react.element"),s=Symbol.for("react.fragment"),c=Object.prototype.hasOwnProperty,l=a.__SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED.ReactCurrentOwner,p={key:!0,ref:!0,__self:!0,__source:!0};function _(e,r,t){var o,n={},f=null,a=null;for(o in void 0!==t&&(f=""+t),void 0!==r.key&&(f=""+r.key),void 0!==r.ref&&(a=r.ref),r)c.call(r,o)&&!p.hasOwnProperty(o)&&(n[o]=r[o]);if(e&&e.defaultProps)for(o in r=e.defaultProps)void 0===n[o]&&(n[o]=r[o]);return{$$typeof:u,type:e,key:f,ref:a,props:n,_owner:l.current}}f.Fragment=s,f.jsx=_,f.jsxs=_,n.exports=f;var i=r({__proto__:null,default:t(o)},[o]),y=o.Fragment,O=o.jsx,d=o.jsxs;export{y as Fragment,i as default,O as jsx,d as jsxs};