lean4monaco 1.0.10 → 1.0.12

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