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

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.