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