lean4monaco 1.0.45 → 1.1.0

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 (1094) hide show
  1. package/README.md +75 -0
  2. package/dist/JuliaMono-Regular.ttf +0 -0
  3. package/dist/css/custom.css +7 -1
  4. package/dist/infowebview.d.ts +4 -5
  5. package/dist/infowebview.js +5 -5
  6. package/dist/lean4-infoview/esm-shims/react-dom.d.ts +5 -0
  7. package/dist/lean4-infoview/esm-shims/react-jsx-runtime.d.ts +5 -0
  8. package/dist/lean4-infoview/esm-shims/react.d.ts +5 -0
  9. package/dist/{vscode-lean4/vscode-lean4/dist/lean4-infoview → lean4-infoview}/index.css +8 -213
  10. package/dist/lean4-infoview/index.d.ts +16 -0
  11. package/dist/lean4-infoview/index.development.js +37312 -0
  12. package/dist/lean4-infoview/index.production.min.js +1528 -0
  13. package/dist/lean4-infoview/infoview/collapsing.d.ts +12 -0
  14. package/dist/lean4-infoview/infoview/contexts.d.ts +10 -0
  15. package/dist/lean4-infoview/infoview/errors.d.ts +14 -0
  16. package/dist/lean4-infoview/infoview/goalLocation.d.ts +61 -0
  17. package/dist/lean4-infoview/infoview/goals.d.ts +46 -0
  18. package/dist/lean4-infoview/infoview/info.d.ts +18 -0
  19. package/dist/lean4-infoview/infoview/infos.d.ts +2 -0
  20. package/dist/lean4-infoview/infoview/interactiveCode.d.ts +19 -0
  21. package/dist/lean4-infoview/infoview/main.d.ts +13 -0
  22. package/dist/lean4-infoview/infoview/messages.d.ts +19 -0
  23. package/dist/lean4-infoview/infoview/rpcSessions.d.ts +11 -0
  24. package/dist/lean4-infoview/infoview/tooltips.d.ts +32 -0
  25. package/dist/lean4-infoview/infoview/traceExplorer.d.ts +11 -0
  26. package/dist/lean4-infoview/infoview/userWidget.d.ts +39 -0
  27. package/dist/{vscode-lean4/lean4-infoview/src → lean4-infoview}/infoview/util.d.ts +8 -5
  28. package/dist/lean4-infoview/loader.d.ts +20 -0
  29. package/dist/lean4-infoview/loader.development.js +1006 -0
  30. package/dist/lean4-infoview/loader.production.min.js +1 -0
  31. package/dist/lean4-infoview/react-dom.development.js +30537 -0
  32. package/dist/lean4-infoview/react-dom.production.min.js +21 -0
  33. package/dist/lean4-infoview/react-jsx-runtime.development.js +1362 -0
  34. package/dist/lean4-infoview/react-jsx-runtime.production.min.js +1 -0
  35. package/dist/lean4-infoview/react.development.js +2823 -0
  36. package/dist/lean4-infoview/react.production.min.js +1 -0
  37. package/dist/leanmonaco.d.ts +4 -4
  38. package/dist/leanmonaco.js +10 -9
  39. package/dist/monaco-lean4/vscode-lean4/package.json +944 -0
  40. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +9 -0
  41. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +20 -0
  42. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.d.ts +12 -0
  43. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationHoverProvider.js +40 -0
  44. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +20 -0
  45. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +79 -0
  46. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.d.ts +13 -0
  47. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationConfig.js +29 -0
  48. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +28 -0
  49. package/dist/monaco-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +124 -0
  50. package/dist/monaco-lean4/vscode-lean4/src/config.d.ts +33 -0
  51. package/dist/monaco-lean4/vscode-lean4/src/config.js +119 -0
  52. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +27 -0
  53. package/dist/monaco-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +133 -0
  54. package/dist/monaco-lean4/vscode-lean4/src/infoview.d.ts +69 -0
  55. package/dist/monaco-lean4/vscode-lean4/src/infoview.js +711 -0
  56. package/dist/monaco-lean4/vscode-lean4/src/leanclient.d.ts +67 -0
  57. package/dist/monaco-lean4/vscode-lean4/src/leanclient.js +443 -0
  58. package/dist/monaco-lean4/vscode-lean4/src/rpc.d.ts +16 -0
  59. package/dist/monaco-lean4/vscode-lean4/src/rpc.js +102 -0
  60. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.d.ts +11 -0
  61. package/dist/monaco-lean4/vscode-lean4/src/taskgutter.js +130 -0
  62. package/dist/{vscode-lean4/vscode-lean4/src/utils/batchBasics.d.ts → monaco-lean4/vscode-lean4/src/utils/batch.d.ts} +8 -11
  63. package/dist/monaco-lean4/vscode-lean4/src/utils/batch.js +203 -0
  64. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.d.ts +41 -0
  65. package/dist/monaco-lean4/vscode-lean4/src/utils/clientProvider.js +205 -0
  66. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.d.ts +16 -0
  67. package/dist/monaco-lean4/vscode-lean4/src/utils/converters.js +129 -0
  68. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.d.ts +3 -0
  69. package/dist/monaco-lean4/vscode-lean4/src/utils/elan.js +4 -0
  70. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.d.ts +21 -0
  71. package/dist/monaco-lean4/vscode-lean4/src/utils/envPath.js +53 -0
  72. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.d.ts +35 -0
  73. package/dist/monaco-lean4/vscode-lean4/src/utils/exturi.js +136 -0
  74. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.d.ts +17 -0
  75. package/dist/monaco-lean4/vscode-lean4/src/utils/fsHelper.js +36 -0
  76. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +37 -0
  77. package/dist/monaco-lean4/vscode-lean4/src/utils/leanInstaller.js +210 -0
  78. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.d.ts +7 -0
  79. package/dist/monaco-lean4/vscode-lean4/src/utils/logger.js +20 -0
  80. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.d.ts +24 -0
  81. package/dist/monaco-lean4/vscode-lean4/src/utils/notifs.js +110 -0
  82. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.d.ts +9 -0
  83. package/dist/monaco-lean4/vscode-lean4/src/utils/projectInfo.js +125 -0
  84. package/dist/monacoleanclient.d.ts +1 -2
  85. package/dist/monacoleanclient.js +3 -3
  86. package/dist/preconditions.d.ts +2 -2
  87. package/dist/vscode-lean4/lean4-infoview/package.json +25 -23
  88. package/dist/vscode-lean4/lean4-infoview/tsconfig.json +6 -2
  89. package/dist/vscode-lean4/lean4-infoview-api/package.json +1 -1
  90. package/dist/vscode-lean4/lean4-unicode-input/package.json +1 -1
  91. package/dist/vscode-lean4/lean4-unicode-input/src/abbreviations.json +12 -12
  92. package/dist/vscode-lean4/lean4-unicode-input-component/package.json +2 -2
  93. package/dist/vscode-lean4/package-lock.json +6129 -3245
  94. package/dist/vscode-lean4/vscode-lean4/language-configuration.json +1 -1
  95. package/dist/vscode-lean4/vscode-lean4/loogleview/static/index.css +19 -16
  96. package/dist/vscode-lean4/vscode-lean4/package.json +638 -18
  97. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.d.ts +2 -2
  98. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature.js +2 -2
  99. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.d.ts +2 -3
  100. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationRewriterFeature.js +3 -5
  101. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.d.ts +1 -2
  102. package/dist/vscode-lean4/vscode-lean4/src/abbreviation/VSCodeAbbreviationRewriter.js +4 -8
  103. package/dist/vscode-lean4/vscode-lean4/src/config.d.ts +14 -1
  104. package/dist/vscode-lean4/vscode-lean4/src/config.js +56 -5
  105. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupDiagnoser.d.ts +36 -5
  106. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupDiagnoser.js +59 -23
  107. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupDiagnostics.d.ts +22 -17
  108. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupDiagnostics.js +182 -119
  109. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.d.ts +33 -20
  110. package/dist/vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs.js +235 -89
  111. package/dist/vscode-lean4/vscode-lean4/src/infoview.d.ts +15 -17
  112. package/dist/vscode-lean4/vscode-lean4/src/infoview.js +218 -103
  113. package/dist/vscode-lean4/vscode-lean4/src/leanclient.d.ts +12 -7
  114. package/dist/vscode-lean4/vscode-lean4/src/leanclient.js +187 -64
  115. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.d.ts +35 -3
  116. package/dist/vscode-lean4/vscode-lean4/src/taskgutter.js +533 -93
  117. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.d.ts +12 -4
  118. package/dist/vscode-lean4/vscode-lean4/src/utils/batch.js +78 -72
  119. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.d.ts +9 -9
  120. package/dist/vscode-lean4/vscode-lean4/src/utils/clientProvider.js +121 -77
  121. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.d.ts +15 -0
  122. package/dist/vscode-lean4/vscode-lean4/src/utils/converters.js +9 -0
  123. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.d.ts +179 -1
  124. package/dist/vscode-lean4/vscode-lean4/src/utils/elan.js +422 -3
  125. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.d.ts +3 -1
  126. package/dist/vscode-lean4/vscode-lean4/src/utils/exturi.js +11 -11
  127. package/dist/vscode-lean4/vscode-lean4/src/utils/internalErrors.d.ts +2 -0
  128. package/dist/vscode-lean4/vscode-lean4/src/utils/internalErrors.js +35 -0
  129. package/dist/vscode-lean4/vscode-lean4/src/utils/leanCmdRunner.js +1 -1
  130. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.d.ts +41 -12
  131. package/dist/vscode-lean4/vscode-lean4/src/utils/leanInstaller.js +245 -128
  132. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.d.ts +27 -22
  133. package/dist/vscode-lean4/vscode-lean4/src/utils/notifs.js +177 -82
  134. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.d.ts +11 -4
  135. package/dist/vscode-lean4/vscode-lean4/src/utils/projectInfo.js +18 -16
  136. package/dist/vscode-lean4/vscode-lean4/src/utils/semverRegex.d.ts +1 -0
  137. package/dist/vscode-lean4/vscode-lean4/src/utils/semverRegex.js +2 -0
  138. package/dist/vscode-lean4/vscode-lean4/tsconfig.json +2 -1
  139. package/dist/vscode-lean4/vscode-lean4/webview/tsconfig.json +3 -1
  140. package/dist/vscode.css +7 -0
  141. package/package.json +7 -3
  142. package/dist/tsconfig.tsbuildinfo +0 -1
  143. package/dist/vscode-lean4/lean4-infoview/dist/index.css +0 -4366
  144. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.transforms.json +0 -83
  145. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.variables.json +0 -47
  146. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.json +0 -36
  147. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.transforms.json +0 -368
  148. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.variables.json +0 -149
  149. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.css +0 -571
  150. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.svg +0 -1
  151. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/dist/codicon.ttf +0 -0
  152. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/package.json +0 -34
  153. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/account.svg +0 -1
  154. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/activate-breakpoints.svg +0 -1
  155. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/add.svg +0 -1
  156. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/archive.svg +0 -1
  157. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-both.svg +0 -1
  158. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-down.svg +0 -1
  159. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-left.svg +0 -1
  160. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-right.svg +0 -1
  161. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-circle-up.svg +0 -1
  162. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-down.svg +0 -1
  163. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-left.svg +0 -1
  164. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-right.svg +0 -1
  165. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-down.svg +0 -1
  166. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-left.svg +0 -1
  167. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-right.svg +0 -1
  168. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-small-up.svg +0 -1
  169. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-swap.svg +0 -1
  170. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/arrow-up.svg +0 -1
  171. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/azure-devops.svg +0 -1
  172. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/azure.svg +0 -1
  173. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/beaker-stop.svg +0 -1
  174. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/beaker.svg +0 -1
  175. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-dot.svg +0 -1
  176. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-slash-dot.svg +0 -1
  177. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell-slash.svg +0 -1
  178. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bell.svg +0 -1
  179. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/blank.svg +0 -1
  180. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bold.svg +0 -1
  181. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/book.svg +0 -1
  182. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bookmark.svg +0 -1
  183. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bracket-dot.svg +0 -1
  184. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bracket-error.svg +0 -1
  185. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/briefcase.svg +0 -1
  186. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/broadcast.svg +0 -1
  187. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/browser.svg +0 -1
  188. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/bug.svg +0 -1
  189. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/calendar.svg +0 -1
  190. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/call-incoming.svg +0 -1
  191. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/call-outgoing.svg +0 -1
  192. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/case-sensitive.svg +0 -1
  193. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/check-all.svg +0 -1
  194. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/check.svg +0 -1
  195. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/checklist.svg +0 -1
  196. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-down.svg +0 -1
  197. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-left.svg +0 -1
  198. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-right.svg +0 -1
  199. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chevron-up.svg +0 -1
  200. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-close.svg +0 -1
  201. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-maximize.svg +0 -1
  202. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-minimize.svg +0 -1
  203. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/chrome-restore.svg +0 -1
  204. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-filled.svg +0 -1
  205. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-large-filled.svg +0 -1
  206. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-large-outline.svg +0 -1
  207. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-outline.svg +0 -1
  208. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-slash.svg +0 -1
  209. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-small-filled.svg +0 -1
  210. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circle-small.svg +0 -1
  211. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/circuit-board.svg +0 -1
  212. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/clear-all.svg +0 -1
  213. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/clippy.svg +0 -1
  214. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/close-all.svg +0 -1
  215. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/close.svg +0 -1
  216. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud-download.svg +0 -1
  217. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud-upload.svg +0 -1
  218. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/cloud.svg +0 -1
  219. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/code.svg +0 -1
  220. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/collapse-all.svg +0 -1
  221. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/color-mode.svg +0 -1
  222. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/combine.svg +0 -1
  223. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment-discussion.svg +0 -1
  224. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment-unresolved.svg +0 -1
  225. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/comment.svg +0 -1
  226. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass-active.svg +0 -1
  227. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass-dot.svg +0 -1
  228. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/compass.svg +0 -1
  229. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/copy.svg +0 -1
  230. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/credit-card.svg +0 -1
  231. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/dash.svg +0 -1
  232. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/dashboard.svg +0 -1
  233. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/database.svg +0 -1
  234. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-all.svg +0 -1
  235. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-alt-small.svg +0 -1
  236. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-alt.svg +0 -1
  237. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional-unverified.svg +0 -1
  238. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional.svg +0 -1
  239. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data-unverified.svg +0 -1
  240. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data.svg +0 -1
  241. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function-unverified.svg +0 -1
  242. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function.svg +0 -1
  243. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log-unverified.svg +0 -1
  244. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log.svg +0 -1
  245. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-breakpoint-unsupported.svg +0 -1
  246. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-console.svg +0 -1
  247. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-continue-small.svg +0 -1
  248. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-continue.svg +0 -1
  249. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-coverage.svg +0 -1
  250. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-disconnect.svg +0 -1
  251. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-line-by-line.svg +0 -1
  252. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-pause.svg +0 -1
  253. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-rerun.svg +0 -1
  254. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-restart-frame.svg +0 -1
  255. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-restart.svg +0 -1
  256. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-reverse-continue.svg +0 -1
  257. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stackframe-active.svg +0 -1
  258. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stackframe.svg +0 -1
  259. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-start.svg +0 -1
  260. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-back.svg +0 -1
  261. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-into.svg +0 -1
  262. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-out.svg +0 -1
  263. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-step-over.svg +0 -1
  264. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug-stop.svg +0 -1
  265. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/debug.svg +0 -1
  266. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/desktop-download.svg +0 -1
  267. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-camera-video.svg +0 -1
  268. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-camera.svg +0 -1
  269. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/device-mobile.svg +0 -1
  270. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-added.svg +0 -1
  271. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-ignored.svg +0 -1
  272. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-modified.svg +0 -1
  273. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-removed.svg +0 -1
  274. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff-renamed.svg +0 -1
  275. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/diff.svg +0 -1
  276. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/discard.svg +0 -1
  277. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/edit.svg +0 -1
  278. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/editor-layout.svg +0 -1
  279. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ellipsis.svg +0 -1
  280. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/empty-window.svg +0 -1
  281. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/error-small.svg +0 -1
  282. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/error.svg +0 -1
  283. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/exclude.svg +0 -1
  284. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/expand-all.svg +0 -1
  285. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/export.svg +0 -1
  286. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/extensions.svg +0 -1
  287. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/eye-closed.svg +0 -1
  288. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/eye.svg +0 -1
  289. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/feedback.svg +0 -1
  290. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-binary.svg +0 -1
  291. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-code.svg +0 -1
  292. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-media.svg +0 -1
  293. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-pdf.svg +0 -1
  294. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-submodule.svg +0 -1
  295. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-symlink-directory.svg +0 -1
  296. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-symlink-file.svg +0 -1
  297. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file-zip.svg +0 -1
  298. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/file.svg +0 -1
  299. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/files.svg +0 -1
  300. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/filter-filled.svg +0 -1
  301. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/filter.svg +0 -1
  302. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/flame.svg +0 -1
  303. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold-down.svg +0 -1
  304. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold-up.svg +0 -1
  305. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/fold.svg +0 -1
  306. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-active.svg +0 -1
  307. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-library.svg +0 -1
  308. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder-opened.svg +0 -1
  309. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/folder.svg +0 -1
  310. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gear.svg +0 -1
  311. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gift.svg +0 -1
  312. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gist-secret.svg +0 -1
  313. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gist.svg +0 -1
  314. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-commit.svg +0 -1
  315. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-compare.svg +0 -1
  316. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-merge.svg +0 -1
  317. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-closed.svg +0 -1
  318. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-create.svg +0 -1
  319. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-draft.svg +0 -1
  320. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-go-to-changes.svg +0 -1
  321. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request-new-changes.svg +0 -1
  322. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/git-pull-request.svg +0 -1
  323. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-action.svg +0 -1
  324. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-alt.svg +0 -1
  325. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github-inverted.svg +0 -1
  326. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/github.svg +0 -1
  327. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/globe.svg +0 -1
  328. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/go-to-file.svg +0 -1
  329. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/grabber.svg +0 -1
  330. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-left.svg +0 -1
  331. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-line.svg +0 -1
  332. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph-scatter.svg +0 -1
  333. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/graph.svg +0 -1
  334. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/gripper.svg +0 -1
  335. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/group-by-ref-type.svg +0 -1
  336. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/heart-filled.svg +0 -1
  337. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/heart.svg +0 -1
  338. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/history.svg +0 -1
  339. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/home.svg +0 -1
  340. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/horizontal-rule.svg +0 -1
  341. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/hubot.svg +0 -1
  342. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/inbox.svg +0 -1
  343. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/indent.svg +0 -1
  344. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/info.svg +0 -1
  345. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/inspect.svg +0 -1
  346. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issue-draft.svg +0 -1
  347. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issue-reopened.svg +0 -1
  348. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/issues.svg +0 -1
  349. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/italic.svg +0 -1
  350. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/jersey.svg +0 -1
  351. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/json.svg +0 -1
  352. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/kebab-vertical.svg +0 -1
  353. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/key.svg +0 -1
  354. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/law.svg +0 -1
  355. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers-active.svg +0 -1
  356. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers-dot.svg +0 -1
  357. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layers.svg +0 -1
  358. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-activitybar-left.svg +0 -1
  359. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-activitybar-right.svg +0 -1
  360. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-centered.svg +0 -1
  361. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-menubar.svg +0 -1
  362. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-center.svg +0 -1
  363. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-justify.svg +0 -1
  364. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-left.svg +0 -1
  365. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-off.svg +0 -1
  366. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel-right.svg +0 -1
  367. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-panel.svg +0 -1
  368. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-left-off.svg +0 -1
  369. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-left.svg +0 -1
  370. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-right-off.svg +0 -1
  371. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-sidebar-right.svg +0 -1
  372. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout-statusbar.svg +0 -1
  373. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/layout.svg +0 -1
  374. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/library.svg +0 -1
  375. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lightbulb-autofix.svg +0 -1
  376. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lightbulb.svg +0 -1
  377. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/link-external.svg +0 -1
  378. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/link.svg +0 -1
  379. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-filter.svg +0 -1
  380. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-flat.svg +0 -1
  381. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-ordered.svg +0 -1
  382. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-selection.svg +0 -1
  383. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-tree.svg +0 -1
  384. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/list-unordered.svg +0 -1
  385. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/live-share.svg +0 -1
  386. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/loading.svg +0 -1
  387. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/location.svg +0 -1
  388. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lock-small.svg +0 -1
  389. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/lock.svg +0 -1
  390. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/magnet.svg +0 -1
  391. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mail-read.svg +0 -1
  392. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mail.svg +0 -1
  393. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/map-filled.svg +0 -1
  394. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/map.svg +0 -1
  395. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/markdown.svg +0 -1
  396. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/megaphone.svg +0 -1
  397. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mention.svg +0 -1
  398. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/menu.svg +0 -1
  399. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/merge.svg +0 -1
  400. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/milestone.svg +0 -1
  401. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mirror.svg +0 -1
  402. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mortar-board.svg +0 -1
  403. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/move.svg +0 -1
  404. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/multiple-windows.svg +0 -1
  405. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/mute.svg +0 -1
  406. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/new-file.svg +0 -1
  407. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/new-folder.svg +0 -1
  408. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/newline.svg +0 -1
  409. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/no-newline.svg +0 -1
  410. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/note.svg +0 -1
  411. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/notebook-template.svg +0 -1
  412. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/notebook.svg +0 -1
  413. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/octoface.svg +0 -1
  414. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/open-preview.svg +0 -1
  415. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/organization.svg +0 -1
  416. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/output.svg +0 -1
  417. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/package.svg +0 -1
  418. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/paintcan.svg +0 -1
  419. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pass-filled.svg +0 -1
  420. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pass.svg +0 -1
  421. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/person-add.svg +0 -1
  422. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/person.svg +0 -1
  423. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pie-chart.svg +0 -1
  424. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pin.svg +0 -1
  425. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pinned-dirty.svg +0 -1
  426. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pinned.svg +0 -1
  427. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/play-circle.svg +0 -1
  428. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/play.svg +0 -1
  429. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/plug.svg +0 -1
  430. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/preserve-case.svg +0 -1
  431. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/preview.svg +0 -1
  432. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/primitive-square.svg +0 -1
  433. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/project.svg +0 -1
  434. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/pulse.svg +0 -1
  435. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/question.svg +0 -1
  436. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/quote.svg +0 -1
  437. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/radio-tower.svg +0 -1
  438. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/reactions.svg +0 -1
  439. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record-keys.svg +0 -1
  440. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record-small.svg +0 -1
  441. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/record.svg +0 -1
  442. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/redo.svg +0 -1
  443. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/references.svg +0 -1
  444. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/refresh.svg +0 -1
  445. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/regex.svg +0 -1
  446. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remote-explorer.svg +0 -1
  447. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remote.svg +0 -1
  448. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/remove.svg +0 -1
  449. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/replace-all.svg +0 -1
  450. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/replace.svg +0 -1
  451. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/reply.svg +0 -1
  452. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-clone.svg +0 -1
  453. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-force-push.svg +0 -1
  454. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-forked.svg +0 -1
  455. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-pull.svg +0 -1
  456. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo-push.svg +0 -1
  457. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/repo.svg +0 -1
  458. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/report.svg +0 -1
  459. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/request-changes.svg +0 -1
  460. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/rocket.svg +0 -1
  461. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/root-folder-opened.svg +0 -1
  462. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/root-folder.svg +0 -1
  463. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/rss.svg +0 -1
  464. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ruby.svg +0 -1
  465. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-above.svg +0 -1
  466. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-all.svg +0 -1
  467. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-below.svg +0 -1
  468. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/run-errors.svg +0 -1
  469. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save-all.svg +0 -1
  470. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save-as.svg +0 -1
  471. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/save.svg +0 -1
  472. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/screen-full.svg +0 -1
  473. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/screen-normal.svg +0 -1
  474. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/search-stop.svg +0 -1
  475. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/search.svg +0 -1
  476. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server-environment.svg +0 -1
  477. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server-process.svg +0 -1
  478. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/server.svg +0 -1
  479. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/settings-gear.svg +0 -1
  480. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/settings.svg +0 -1
  481. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/shield.svg +0 -1
  482. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sign-in.svg +0 -1
  483. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sign-out.svg +0 -1
  484. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/smiley.svg +0 -1
  485. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sort-precedence.svg +0 -1
  486. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/source-control.svg +0 -1
  487. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/split-horizontal.svg +0 -1
  488. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/split-vertical.svg +0 -1
  489. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/squirrel.svg +0 -1
  490. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-empty.svg +0 -1
  491. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-full.svg +0 -1
  492. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/star-half.svg +0 -1
  493. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/stop-circle.svg +0 -1
  494. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-array.svg +0 -1
  495. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-boolean.svg +0 -1
  496. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-class.svg +0 -1
  497. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-color.svg +0 -1
  498. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-constant.svg +0 -1
  499. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-enum-member.svg +0 -1
  500. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-enum.svg +0 -1
  501. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-event.svg +0 -1
  502. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-field.svg +0 -1
  503. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-file.svg +0 -1
  504. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-interface.svg +0 -1
  505. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-key.svg +0 -1
  506. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-keyword.svg +0 -1
  507. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-method.svg +0 -1
  508. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-misc.svg +0 -1
  509. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-namespace.svg +0 -1
  510. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-numeric.svg +0 -1
  511. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-operator.svg +0 -1
  512. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-parameter.svg +0 -1
  513. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-property.svg +0 -1
  514. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-ruler.svg +0 -1
  515. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-snippet.svg +0 -1
  516. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-string.svg +0 -1
  517. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-structure.svg +0 -1
  518. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/symbol-variable.svg +0 -1
  519. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sync-ignored.svg +0 -1
  520. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/sync.svg +0 -1
  521. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/table.svg +0 -1
  522. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tag.svg +0 -1
  523. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/target.svg +0 -1
  524. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tasklist.svg +0 -1
  525. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/telescope.svg +0 -1
  526. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-bash.svg +0 -1
  527. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-cmd.svg +0 -1
  528. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-debian.svg +0 -1
  529. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-linux.svg +0 -1
  530. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-powershell.svg +0 -1
  531. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-tmux.svg +0 -1
  532. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal-ubuntu.svg +0 -1
  533. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/terminal.svg +0 -1
  534. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/text-size.svg +0 -1
  535. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/three-bars.svg +0 -1
  536. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/thumbsdown.svg +0 -1
  537. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/thumbsup.svg +0 -1
  538. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/tools.svg +0 -1
  539. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/trash.svg +0 -1
  540. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-down.svg +0 -1
  541. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-left.svg +0 -1
  542. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-right.svg +0 -1
  543. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/triangle-up.svg +0 -1
  544. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/twitter.svg +0 -1
  545. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy-sub.svg +0 -1
  546. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy-super.svg +0 -1
  547. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/type-hierarchy.svg +0 -1
  548. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unfold.svg +0 -1
  549. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/ungroup-by-ref-type.svg +0 -1
  550. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unlock.svg +0 -1
  551. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unmute.svg +0 -1
  552. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/unverified.svg +0 -1
  553. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/variable-group.svg +0 -1
  554. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/verified-filled.svg +0 -1
  555. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/verified.svg +0 -1
  556. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/versions.svg +0 -1
  557. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-active.svg +0 -1
  558. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-connect.svg +0 -1
  559. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-outline.svg +0 -1
  560. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm-running.svg +0 -1
  561. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/vm.svg +0 -1
  562. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/wand.svg +0 -1
  563. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/warning.svg +0 -1
  564. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/watch.svg +0 -1
  565. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/whitespace.svg +0 -1
  566. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/whole-word.svg +0 -1
  567. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/window.svg +0 -1
  568. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/word-wrap.svg +0 -1
  569. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-trusted.svg +0 -1
  570. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-unknown.svg +0 -1
  571. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/workspace-untrusted.svg +0 -1
  572. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/zoom-in.svg +0 -1
  573. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/icons/zoom-out.svg +0 -1
  574. package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/template/mapping.json +0 -514
  575. package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.d.ts +0 -46
  576. package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.js +0 -44
  577. package/dist/vscode-lean4/lean4-infoview/src/infoview/editorConnection.js +0 -41
  578. package/dist/vscode-lean4/lean4-infoview/src/infoview/event.js +0 -57
  579. package/dist/vscode-lean4/lean4-infoview/src/infoview/serverVersion.js +0 -25
  580. package/dist/vscode-lean4/lean4-infoview/src/infoview/util.js +0 -336
  581. package/dist/vscode-lean4/lean4-unicode-input/dist/abbreviations.json +0 -1829
  582. package/dist/vscode-lean4/vscode-lean4/dist/lean4-infoview/codicon.ttf +0 -0
  583. package/dist/vscode-lean4/vscode-lean4/dist/loogleview/static/codicons/codicon.css +0 -571
  584. package/dist/vscode-lean4/vscode-lean4/dist/loogleview/static/codicons/codicon.svg +0 -1
  585. package/dist/vscode-lean4/vscode-lean4/dist/loogleview/static/codicons/codicon.ttf +0 -0
  586. package/dist/vscode-lean4/vscode-lean4/dist/loogleview/static/index.css +0 -97
  587. package/dist/vscode-lean4/vscode-lean4/dist/moogleview/static/codicons/codicon.css +0 -571
  588. package/dist/vscode-lean4/vscode-lean4/dist/moogleview/static/codicons/codicon.svg +0 -1
  589. package/dist/vscode-lean4/vscode-lean4/dist/moogleview/static/codicons/codicon.ttf +0 -0
  590. package/dist/vscode-lean4/vscode-lean4/dist/moogleview/static/index.css +0 -198
  591. package/dist/vscode-lean4/vscode-lean4/node_modules/@types/node/package.json +0 -220
  592. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/keywords.transforms.json +0 -83
  593. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/keywords.variables.json +0 -47
  594. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/manifest.json +0 -36
  595. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/manifest.transforms.json +0 -368
  596. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/manifest.variables.json +0 -149
  597. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/dist/codicon.css +0 -629
  598. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/dist/codicon.svg +0 -1
  599. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/dist/codicon.ttf +0 -0
  600. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/package.json +0 -35
  601. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/account.svg +0 -1
  602. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/activate-breakpoints.svg +0 -1
  603. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/add.svg +0 -1
  604. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/archive.svg +0 -1
  605. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-both.svg +0 -1
  606. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-circle-down.svg +0 -1
  607. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-circle-left.svg +0 -1
  608. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-circle-right.svg +0 -1
  609. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-circle-up.svg +0 -1
  610. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-down.svg +0 -1
  611. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-left.svg +0 -1
  612. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-right.svg +0 -1
  613. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-small-down.svg +0 -1
  614. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-small-left.svg +0 -1
  615. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-small-right.svg +0 -1
  616. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-small-up.svg +0 -1
  617. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-swap.svg +0 -1
  618. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/arrow-up.svg +0 -1
  619. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/azure-devops.svg +0 -1
  620. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/azure.svg +0 -1
  621. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/beaker-stop.svg +0 -1
  622. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/beaker.svg +0 -1
  623. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bell-dot.svg +0 -1
  624. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bell-slash-dot.svg +0 -1
  625. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bell-slash.svg +0 -1
  626. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bell.svg +0 -1
  627. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/blank.svg +0 -1
  628. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bold.svg +0 -1
  629. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/book.svg +0 -1
  630. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bookmark.svg +0 -1
  631. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bracket-dot.svg +0 -1
  632. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bracket-error.svg +0 -1
  633. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/briefcase.svg +0 -1
  634. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/broadcast.svg +0 -1
  635. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/browser.svg +0 -1
  636. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/bug.svg +0 -1
  637. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/calendar.svg +0 -1
  638. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/call-incoming.svg +0 -1
  639. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/call-outgoing.svg +0 -1
  640. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/case-sensitive.svg +0 -1
  641. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/check-all.svg +0 -1
  642. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/check.svg +0 -1
  643. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/checklist.svg +0 -1
  644. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chevron-down.svg +0 -1
  645. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chevron-left.svg +0 -1
  646. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chevron-right.svg +0 -1
  647. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chevron-up.svg +0 -1
  648. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chip.svg +0 -1
  649. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chrome-close.svg +0 -1
  650. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chrome-maximize.svg +0 -1
  651. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chrome-minimize.svg +0 -1
  652. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/chrome-restore.svg +0 -1
  653. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-filled.svg +0 -1
  654. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-large-filled.svg +0 -1
  655. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-large.svg +0 -1
  656. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-slash.svg +0 -1
  657. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-small-filled.svg +0 -1
  658. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle-small.svg +0 -1
  659. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circle.svg +0 -1
  660. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/circuit-board.svg +0 -1
  661. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/clear-all.svg +0 -1
  662. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/clippy.svg +0 -1
  663. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/close-all.svg +0 -1
  664. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/close.svg +0 -1
  665. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/cloud-download.svg +0 -1
  666. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/cloud-upload.svg +0 -1
  667. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/cloud.svg +0 -1
  668. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/code-oss.svg +0 -1
  669. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/code.svg +0 -1
  670. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/coffee.svg +0 -1
  671. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/collapse-all.svg +0 -1
  672. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/color-mode.svg +0 -1
  673. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/combine.svg +0 -1
  674. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/comment-discussion.svg +0 -1
  675. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/comment-draft.svg +0 -1
  676. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/comment-unresolved.svg +0 -1
  677. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/comment.svg +0 -1
  678. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/compass-active.svg +0 -1
  679. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/compass-dot.svg +0 -1
  680. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/compass.svg +0 -1
  681. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/copilot.svg +0 -1
  682. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/copy.svg +0 -1
  683. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/coverage.svg +0 -1
  684. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/credit-card.svg +0 -1
  685. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/dash.svg +0 -1
  686. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/dashboard.svg +0 -1
  687. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/database.svg +0 -1
  688. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-all.svg +0 -1
  689. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-alt-small.svg +0 -1
  690. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-alt.svg +0 -1
  691. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional-unverified.svg +0 -1
  692. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-conditional.svg +0 -1
  693. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data-unverified.svg +0 -1
  694. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-data.svg +0 -1
  695. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function-unverified.svg +0 -1
  696. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-function.svg +0 -1
  697. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log-unverified.svg +0 -1
  698. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-log.svg +0 -1
  699. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-breakpoint-unsupported.svg +0 -1
  700. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-console.svg +0 -1
  701. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-continue-small.svg +0 -1
  702. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-continue.svg +0 -1
  703. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-coverage.svg +0 -1
  704. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-disconnect.svg +0 -1
  705. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-line-by-line.svg +0 -1
  706. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-pause.svg +0 -1
  707. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-rerun.svg +0 -1
  708. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-restart-frame.svg +0 -1
  709. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-restart.svg +0 -1
  710. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-reverse-continue.svg +0 -1
  711. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-stackframe-active.svg +0 -1
  712. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-stackframe.svg +0 -1
  713. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-start.svg +0 -1
  714. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-step-back.svg +0 -1
  715. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-step-into.svg +0 -1
  716. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-step-out.svg +0 -1
  717. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-step-over.svg +0 -1
  718. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug-stop.svg +0 -1
  719. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/debug.svg +0 -1
  720. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/desktop-download.svg +0 -1
  721. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/device-camera-video.svg +0 -1
  722. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/device-camera.svg +0 -1
  723. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/device-mobile.svg +0 -1
  724. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-added.svg +0 -1
  725. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-ignored.svg +0 -1
  726. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-modified.svg +0 -1
  727. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-multiple.svg +0 -1
  728. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-removed.svg +0 -1
  729. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-renamed.svg +0 -1
  730. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff-single.svg +0 -1
  731. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/diff.svg +0 -1
  732. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/discard.svg +0 -1
  733. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/edit.svg +0 -1
  734. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/editor-layout.svg +0 -1
  735. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/ellipsis.svg +0 -1
  736. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/empty-window.svg +0 -1
  737. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/error-small.svg +0 -1
  738. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/error.svg +0 -1
  739. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/exclude.svg +0 -1
  740. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/expand-all.svg +0 -1
  741. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/export.svg +0 -1
  742. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/extensions.svg +0 -1
  743. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/eye-closed.svg +0 -1
  744. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/eye.svg +0 -1
  745. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/feedback.svg +0 -1
  746. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-binary.svg +0 -1
  747. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-code.svg +0 -1
  748. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-media.svg +0 -1
  749. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-pdf.svg +0 -1
  750. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-submodule.svg +0 -1
  751. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-symlink-directory.svg +0 -1
  752. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-symlink-file.svg +0 -1
  753. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file-zip.svg +0 -1
  754. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/file.svg +0 -1
  755. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/files.svg +0 -1
  756. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/filter-filled.svg +0 -1
  757. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/filter.svg +0 -1
  758. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/flame.svg +0 -1
  759. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/fold-down.svg +0 -1
  760. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/fold-up.svg +0 -1
  761. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/fold.svg +0 -1
  762. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/folder-active.svg +0 -1
  763. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/folder-library.svg +0 -1
  764. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/folder-opened.svg +0 -1
  765. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/folder.svg +0 -1
  766. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/game.svg +0 -1
  767. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/gear.svg +0 -1
  768. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/gift.svg +0 -1
  769. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/gist-secret.svg +0 -1
  770. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/gist.svg +0 -1
  771. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-commit.svg +0 -1
  772. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-compare.svg +0 -1
  773. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-fetch.svg +0 -1
  774. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-merge.svg +0 -1
  775. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request-closed.svg +0 -1
  776. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request-create.svg +0 -1
  777. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request-draft.svg +0 -1
  778. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request-go-to-changes.svg +0 -1
  779. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request-new-changes.svg +0 -1
  780. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-pull-request.svg +0 -1
  781. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-stash-apply.svg +0 -1
  782. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-stash-pop.svg +0 -1
  783. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/git-stash.svg +0 -1
  784. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/github-action.svg +0 -1
  785. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/github-alt.svg +0 -1
  786. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/github-inverted.svg +0 -1
  787. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/github-project.svg +0 -1
  788. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/github.svg +0 -1
  789. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/globe.svg +0 -1
  790. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/go-to-file.svg +0 -1
  791. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/go-to-search.svg +0 -1
  792. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/grabber.svg +0 -1
  793. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/graph-left.svg +0 -1
  794. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/graph-line.svg +0 -1
  795. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/graph-scatter.svg +0 -1
  796. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/graph.svg +0 -1
  797. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/gripper.svg +0 -1
  798. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/group-by-ref-type.svg +0 -1
  799. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/heart-filled.svg +0 -1
  800. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/heart.svg +0 -1
  801. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/history.svg +0 -1
  802. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/home.svg +0 -1
  803. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/horizontal-rule.svg +0 -1
  804. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/hubot.svg +0 -1
  805. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/inbox.svg +0 -1
  806. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/indent.svg +0 -1
  807. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/info.svg +0 -1
  808. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/insert.svg +0 -1
  809. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/inspect.svg +0 -1
  810. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/issue-draft.svg +0 -1
  811. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/issue-reopened.svg +0 -1
  812. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/issues.svg +0 -1
  813. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/italic.svg +0 -1
  814. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/jersey.svg +0 -1
  815. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/json.svg +0 -1
  816. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/kebab-vertical.svg +0 -1
  817. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/key.svg +0 -1
  818. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/law.svg +0 -1
  819. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layers-active.svg +0 -1
  820. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layers-dot.svg +0 -1
  821. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layers.svg +0 -1
  822. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-activitybar-left.svg +0 -1
  823. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-activitybar-right.svg +0 -1
  824. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-centered.svg +0 -1
  825. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-menubar.svg +0 -1
  826. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel-center.svg +0 -1
  827. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel-justify.svg +0 -1
  828. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel-left.svg +0 -1
  829. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel-off.svg +0 -1
  830. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel-right.svg +0 -1
  831. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-panel.svg +0 -1
  832. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-sidebar-left-off.svg +0 -1
  833. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-sidebar-left.svg +0 -1
  834. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-sidebar-right-off.svg +0 -1
  835. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-sidebar-right.svg +0 -1
  836. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout-statusbar.svg +0 -1
  837. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/layout.svg +0 -1
  838. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/library.svg +0 -1
  839. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/lightbulb-autofix.svg +0 -1
  840. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/lightbulb-sparkle.svg +0 -1
  841. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/lightbulb.svg +0 -1
  842. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/link-external.svg +0 -1
  843. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/link.svg +0 -1
  844. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-filter.svg +0 -1
  845. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-flat.svg +0 -1
  846. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-ordered.svg +0 -1
  847. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-selection.svg +0 -1
  848. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-tree.svg +0 -1
  849. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/list-unordered.svg +0 -1
  850. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/live-share.svg +0 -1
  851. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/loading.svg +0 -1
  852. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/location.svg +0 -1
  853. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/lock-small.svg +0 -1
  854. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/lock.svg +0 -1
  855. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/magnet.svg +0 -1
  856. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mail-read.svg +0 -1
  857. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mail.svg +0 -1
  858. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/map-filled.svg +0 -1
  859. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/map-vertical-filled.svg +0 -1
  860. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/map-vertical.svg +0 -1
  861. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/map.svg +0 -1
  862. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/markdown.svg +0 -1
  863. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/megaphone.svg +0 -1
  864. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mention.svg +0 -1
  865. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/menu.svg +0 -1
  866. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/merge.svg +0 -1
  867. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mic-filled.svg +0 -1
  868. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mic.svg +0 -1
  869. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/milestone.svg +0 -1
  870. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mirror.svg +0 -1
  871. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mortar-board.svg +0 -1
  872. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/move.svg +0 -1
  873. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/multiple-windows.svg +0 -1
  874. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/music.svg +0 -1
  875. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/mute.svg +0 -1
  876. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/new-file.svg +0 -1
  877. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/new-folder.svg +0 -1
  878. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/newline.svg +0 -1
  879. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/no-newline.svg +0 -1
  880. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/note.svg +0 -1
  881. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/notebook-template.svg +0 -1
  882. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/notebook.svg +0 -1
  883. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/octoface.svg +0 -1
  884. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/open-preview.svg +0 -1
  885. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/organization.svg +0 -1
  886. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/output.svg +0 -1
  887. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/package.svg +0 -1
  888. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/paintcan.svg +0 -1
  889. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pass-filled.svg +0 -1
  890. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pass.svg +0 -1
  891. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/percentage.svg +0 -1
  892. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/person-add.svg +0 -1
  893. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/person.svg +0 -1
  894. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/piano.svg +0 -1
  895. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pie-chart.svg +0 -1
  896. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pin.svg +0 -1
  897. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pinned-dirty.svg +0 -1
  898. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pinned.svg +0 -1
  899. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/play-circle.svg +0 -1
  900. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/play.svg +0 -1
  901. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/plug.svg +0 -1
  902. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/preserve-case.svg +0 -1
  903. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/preview.svg +0 -1
  904. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/primitive-square.svg +0 -1
  905. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/project.svg +0 -1
  906. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/pulse.svg +0 -1
  907. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/question.svg +0 -1
  908. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/quote.svg +0 -1
  909. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/radio-tower.svg +0 -1
  910. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/reactions.svg +0 -1
  911. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/record-keys.svg +0 -1
  912. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/record-small.svg +0 -1
  913. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/record.svg +0 -1
  914. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/redo.svg +0 -1
  915. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/references.svg +0 -1
  916. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/refresh.svg +0 -1
  917. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/regex.svg +0 -1
  918. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/remote-explorer.svg +0 -1
  919. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/remote.svg +0 -1
  920. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/remove.svg +0 -1
  921. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/replace-all.svg +0 -1
  922. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/replace.svg +0 -1
  923. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/reply.svg +0 -1
  924. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-clone.svg +0 -1
  925. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-fetch.svg +0 -1
  926. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-force-push.svg +0 -1
  927. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-forked.svg +0 -1
  928. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-pull.svg +0 -1
  929. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo-push.svg +0 -1
  930. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/repo.svg +0 -1
  931. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/report.svg +0 -1
  932. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/request-changes.svg +0 -1
  933. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/robot.svg +0 -1
  934. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/rocket.svg +0 -1
  935. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/root-folder-opened.svg +0 -1
  936. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/root-folder.svg +0 -1
  937. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/rss.svg +0 -1
  938. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/ruby.svg +0 -1
  939. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-above.svg +0 -1
  940. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-all-coverage.svg +0 -1
  941. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-all.svg +0 -1
  942. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-below.svg +0 -1
  943. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-coverage.svg +0 -1
  944. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/run-errors.svg +0 -1
  945. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/save-all.svg +0 -1
  946. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/save-as.svg +0 -1
  947. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/save.svg +0 -1
  948. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/screen-full.svg +0 -1
  949. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/screen-normal.svg +0 -1
  950. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/search-fuzzy.svg +0 -1
  951. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/search-stop.svg +0 -1
  952. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/search.svg +0 -1
  953. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/send.svg +0 -1
  954. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/server-environment.svg +0 -1
  955. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/server-process.svg +0 -1
  956. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/server.svg +0 -1
  957. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/settings-gear.svg +0 -1
  958. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/settings.svg +0 -1
  959. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/share.svg +0 -1
  960. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/shield.svg +0 -1
  961. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sign-in.svg +0 -1
  962. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sign-out.svg +0 -1
  963. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/smiley.svg +0 -1
  964. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/snake.svg +0 -1
  965. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sort-precedence.svg +0 -1
  966. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/source-control.svg +0 -1
  967. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sparkle-filled.svg +0 -1
  968. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sparkle.svg +0 -1
  969. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/split-horizontal.svg +0 -1
  970. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/split-vertical.svg +0 -1
  971. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/squirrel.svg +0 -1
  972. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/star-empty.svg +0 -1
  973. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/star-full.svg +0 -1
  974. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/star-half.svg +0 -1
  975. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/stop-circle.svg +0 -1
  976. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/surround-with.svg +0 -1
  977. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-array.svg +0 -1
  978. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-boolean.svg +0 -1
  979. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-class.svg +0 -1
  980. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-color.svg +0 -1
  981. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-constant.svg +0 -1
  982. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-enum-member.svg +0 -1
  983. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-enum.svg +0 -1
  984. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-event.svg +0 -1
  985. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-field.svg +0 -1
  986. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-file.svg +0 -1
  987. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-interface.svg +0 -1
  988. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-key.svg +0 -1
  989. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-keyword.svg +0 -1
  990. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-method.svg +0 -1
  991. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-misc.svg +0 -1
  992. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-namespace.svg +0 -1
  993. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-numeric.svg +0 -1
  994. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-operator.svg +0 -1
  995. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-parameter.svg +0 -1
  996. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-property.svg +0 -1
  997. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-ruler.svg +0 -1
  998. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-snippet.svg +0 -1
  999. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-string.svg +0 -1
  1000. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-structure.svg +0 -1
  1001. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/symbol-variable.svg +0 -1
  1002. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sync-ignored.svg +0 -1
  1003. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/sync.svg +0 -1
  1004. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/table.svg +0 -1
  1005. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/tag.svg +0 -1
  1006. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/target.svg +0 -1
  1007. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/tasklist.svg +0 -1
  1008. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/telescope.svg +0 -1
  1009. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-bash.svg +0 -1
  1010. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-cmd.svg +0 -1
  1011. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-debian.svg +0 -1
  1012. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-linux.svg +0 -1
  1013. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-powershell.svg +0 -1
  1014. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-tmux.svg +0 -1
  1015. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal-ubuntu.svg +0 -1
  1016. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/terminal.svg +0 -1
  1017. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/text-size.svg +0 -1
  1018. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/three-bars.svg +0 -1
  1019. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/thumbsdown-filled.svg +0 -1
  1020. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/thumbsdown.svg +0 -1
  1021. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/thumbsup-filled.svg +0 -1
  1022. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/thumbsup.svg +0 -1
  1023. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/tools.svg +0 -1
  1024. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/trash.svg +0 -1
  1025. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/triangle-down.svg +0 -1
  1026. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/triangle-left.svg +0 -1
  1027. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/triangle-right.svg +0 -1
  1028. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/triangle-up.svg +0 -1
  1029. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/twitter.svg +0 -1
  1030. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/type-hierarchy-sub.svg +0 -1
  1031. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/type-hierarchy-super.svg +0 -1
  1032. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/type-hierarchy.svg +0 -1
  1033. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/unfold.svg +0 -1
  1034. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/ungroup-by-ref-type.svg +0 -1
  1035. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/unlock.svg +0 -1
  1036. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/unmute.svg +0 -1
  1037. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/unverified.svg +0 -1
  1038. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/variable-group.svg +0 -1
  1039. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/verified-filled.svg +0 -1
  1040. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/verified.svg +0 -1
  1041. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/versions.svg +0 -1
  1042. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm-active.svg +0 -1
  1043. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm-connect.svg +0 -1
  1044. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm-outline.svg +0 -1
  1045. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm-running.svg +0 -1
  1046. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm.svg +0 -1
  1047. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vr.svg +0 -1
  1048. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vscode-insiders.svg +0 -1
  1049. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vscode.svg +0 -1
  1050. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/wand.svg +0 -1
  1051. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/warning.svg +0 -1
  1052. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/watch.svg +0 -1
  1053. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/whitespace.svg +0 -1
  1054. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/whole-word.svg +0 -1
  1055. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/window.svg +0 -1
  1056. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/word-wrap.svg +0 -1
  1057. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-trusted.svg +0 -1
  1058. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-unknown.svg +0 -1
  1059. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-untrusted.svg +0 -1
  1060. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/zoom-in.svg +0 -1
  1061. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/zoom-out.svg +0 -1
  1062. package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/template/mapping.json +0 -571
  1063. package/dist/vscode-lean4/vscode-lean4/node_modules/brace-expansion/package.json +0 -46
  1064. package/dist/vscode-lean4/vscode-lean4/node_modules/glob/dist/commonjs/package.json +0 -3
  1065. package/dist/vscode-lean4/vscode-lean4/node_modules/glob/dist/esm/package.json +0 -3
  1066. package/dist/vscode-lean4/vscode-lean4/node_modules/glob/package.json +0 -99
  1067. package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/dist/commonjs/package.json +0 -3
  1068. package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/dist/esm/package.json +0 -3
  1069. package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/package.json +0 -94
  1070. package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/dist/commonjs/package.json +0 -3
  1071. package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/dist/esm/package.json +0 -3
  1072. package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/package.json +0 -115
  1073. package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/dist/commonjs/package.json +0 -3
  1074. package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/dist/esm/package.json +0 -3
  1075. package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/package.json +0 -82
  1076. package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/dist/commonjs/package.json +0 -3
  1077. package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/dist/esm/package.json +0 -3
  1078. package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/package.json +0 -88
  1079. package/dist/vscode-lean4/vscode-lean4/node_modules/undici-types/package.json +0 -55
  1080. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-jsonrpc/package.json +0 -45
  1081. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageclient/node_modules/minimatch/package.json +0 -35
  1082. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageclient/package.json +0 -50
  1083. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-protocol/metaModel.schema.json +0 -783
  1084. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-protocol/package.json +0 -45
  1085. package/dist/vscode-lean4/vscode-lean4/node_modules/vscode-languageserver-types/package.json +0 -32
  1086. package/dist/vscode-lean4/vscode-lean4/src/leanclientsetup.d.ts +0 -3
  1087. package/dist/vscode-lean4/vscode-lean4/src/leanclientsetup.js +0 -58
  1088. package/dist/vscode-lean4/vscode-lean4/src/utils/batchBasics.js +0 -48
  1089. package/dist/vscode-lean4/vscode-lean4/src/utils/batchTypes.d.ts +0 -14
  1090. package/dist/vscode-lean4/vscode-lean4/src/utils/batchTypes.js +0 -22
  1091. /package/dist/{vscode-lean4/lean4-infoview/dist → lean4-infoview}/codicon.ttf +0 -0
  1092. /package/dist/{vscode-lean4/lean4-infoview/src → lean4-infoview}/infoview/editorConnection.d.ts +0 -0
  1093. /package/dist/{vscode-lean4/lean4-infoview/src → lean4-infoview}/infoview/event.d.ts +0 -0
  1094. /package/dist/{vscode-lean4/lean4-infoview/src → lean4-infoview}/infoview/serverVersion.d.ts +0 -0
@@ -1,571 +0,0 @@
1
- /*---------------------------------------------------------------------------------------------
2
- * Copyright (c) Microsoft Corporation. All rights reserved.
3
- * Licensed under the MIT License. See License.txt in the project root for license information.
4
- *--------------------------------------------------------------------------------------------*/
5
-
6
- @font-face {
7
- font-family: "codicon";
8
- font-display: block;
9
- src: url("./codicon.ttf?0e5b0adf625a37fbcd638d31f0fe72aa") format("truetype");
10
- }
11
-
12
- .codicon[class*='codicon-'] {
13
- font: normal normal normal 16px/1 codicon;
14
- display: inline-block;
15
- text-decoration: none;
16
- text-rendering: auto;
17
- text-align: center;
18
- -webkit-font-smoothing: antialiased;
19
- -moz-osx-font-smoothing: grayscale;
20
- user-select: none;
21
- -webkit-user-select: none;
22
- -ms-user-select: none;
23
- }
24
-
25
- /*---------------------
26
- * Modifiers
27
- *-------------------*/
28
-
29
- @keyframes codicon-spin {
30
- 100% {
31
- transform:rotate(360deg);
32
- }
33
- }
34
-
35
- .codicon-sync.codicon-modifier-spin,
36
- .codicon-loading.codicon-modifier-spin,
37
- .codicon-gear.codicon-modifier-spin {
38
- /* Use steps to throttle FPS to reduce CPU usage */
39
- animation: codicon-spin 1.5s steps(30) infinite;
40
- }
41
-
42
- .codicon-modifier-disabled {
43
- opacity: 0.5;
44
- }
45
-
46
- .codicon-modifier-hidden {
47
- opacity: 0;
48
- }
49
-
50
- /* custom speed & easing for loading icon */
51
- .codicon-loading {
52
- animation-duration: 1s !important;
53
- animation-timing-function: cubic-bezier(0.53, 0.21, 0.29, 0.67) !important;
54
- }
55
-
56
- /*---------------------
57
- * Icons
58
- *-------------------*/
59
-
60
- .codicon-add:before { content: "\ea60" }
61
- .codicon-plus:before { content: "\ea60" }
62
- .codicon-gist-new:before { content: "\ea60" }
63
- .codicon-repo-create:before { content: "\ea60" }
64
- .codicon-lightbulb:before { content: "\ea61" }
65
- .codicon-light-bulb:before { content: "\ea61" }
66
- .codicon-repo:before { content: "\ea62" }
67
- .codicon-repo-delete:before { content: "\ea62" }
68
- .codicon-gist-fork:before { content: "\ea63" }
69
- .codicon-repo-forked:before { content: "\ea63" }
70
- .codicon-git-pull-request:before { content: "\ea64" }
71
- .codicon-git-pull-request-abandoned:before { content: "\ea64" }
72
- .codicon-record-keys:before { content: "\ea65" }
73
- .codicon-keyboard:before { content: "\ea65" }
74
- .codicon-tag:before { content: "\ea66" }
75
- .codicon-tag-add:before { content: "\ea66" }
76
- .codicon-tag-remove:before { content: "\ea66" }
77
- .codicon-person:before { content: "\ea67" }
78
- .codicon-person-follow:before { content: "\ea67" }
79
- .codicon-person-outline:before { content: "\ea67" }
80
- .codicon-person-filled:before { content: "\ea67" }
81
- .codicon-git-branch:before { content: "\ea68" }
82
- .codicon-git-branch-create:before { content: "\ea68" }
83
- .codicon-git-branch-delete:before { content: "\ea68" }
84
- .codicon-source-control:before { content: "\ea68" }
85
- .codicon-mirror:before { content: "\ea69" }
86
- .codicon-mirror-public:before { content: "\ea69" }
87
- .codicon-star:before { content: "\ea6a" }
88
- .codicon-star-add:before { content: "\ea6a" }
89
- .codicon-star-delete:before { content: "\ea6a" }
90
- .codicon-star-empty:before { content: "\ea6a" }
91
- .codicon-comment:before { content: "\ea6b" }
92
- .codicon-comment-add:before { content: "\ea6b" }
93
- .codicon-alert:before { content: "\ea6c" }
94
- .codicon-warning:before { content: "\ea6c" }
95
- .codicon-search:before { content: "\ea6d" }
96
- .codicon-search-save:before { content: "\ea6d" }
97
- .codicon-log-out:before { content: "\ea6e" }
98
- .codicon-sign-out:before { content: "\ea6e" }
99
- .codicon-log-in:before { content: "\ea6f" }
100
- .codicon-sign-in:before { content: "\ea6f" }
101
- .codicon-eye:before { content: "\ea70" }
102
- .codicon-eye-unwatch:before { content: "\ea70" }
103
- .codicon-eye-watch:before { content: "\ea70" }
104
- .codicon-circle-filled:before { content: "\ea71" }
105
- .codicon-primitive-dot:before { content: "\ea71" }
106
- .codicon-close-dirty:before { content: "\ea71" }
107
- .codicon-debug-breakpoint:before { content: "\ea71" }
108
- .codicon-debug-breakpoint-disabled:before { content: "\ea71" }
109
- .codicon-debug-hint:before { content: "\ea71" }
110
- .codicon-primitive-square:before { content: "\ea72" }
111
- .codicon-edit:before { content: "\ea73" }
112
- .codicon-pencil:before { content: "\ea73" }
113
- .codicon-info:before { content: "\ea74" }
114
- .codicon-issue-opened:before { content: "\ea74" }
115
- .codicon-gist-private:before { content: "\ea75" }
116
- .codicon-git-fork-private:before { content: "\ea75" }
117
- .codicon-lock:before { content: "\ea75" }
118
- .codicon-mirror-private:before { content: "\ea75" }
119
- .codicon-close:before { content: "\ea76" }
120
- .codicon-remove-close:before { content: "\ea76" }
121
- .codicon-x:before { content: "\ea76" }
122
- .codicon-repo-sync:before { content: "\ea77" }
123
- .codicon-sync:before { content: "\ea77" }
124
- .codicon-clone:before { content: "\ea78" }
125
- .codicon-desktop-download:before { content: "\ea78" }
126
- .codicon-beaker:before { content: "\ea79" }
127
- .codicon-microscope:before { content: "\ea79" }
128
- .codicon-vm:before { content: "\ea7a" }
129
- .codicon-device-desktop:before { content: "\ea7a" }
130
- .codicon-file:before { content: "\ea7b" }
131
- .codicon-file-text:before { content: "\ea7b" }
132
- .codicon-more:before { content: "\ea7c" }
133
- .codicon-ellipsis:before { content: "\ea7c" }
134
- .codicon-kebab-horizontal:before { content: "\ea7c" }
135
- .codicon-mail-reply:before { content: "\ea7d" }
136
- .codicon-reply:before { content: "\ea7d" }
137
- .codicon-organization:before { content: "\ea7e" }
138
- .codicon-organization-filled:before { content: "\ea7e" }
139
- .codicon-organization-outline:before { content: "\ea7e" }
140
- .codicon-new-file:before { content: "\ea7f" }
141
- .codicon-file-add:before { content: "\ea7f" }
142
- .codicon-new-folder:before { content: "\ea80" }
143
- .codicon-file-directory-create:before { content: "\ea80" }
144
- .codicon-trash:before { content: "\ea81" }
145
- .codicon-trashcan:before { content: "\ea81" }
146
- .codicon-history:before { content: "\ea82" }
147
- .codicon-clock:before { content: "\ea82" }
148
- .codicon-folder:before { content: "\ea83" }
149
- .codicon-file-directory:before { content: "\ea83" }
150
- .codicon-symbol-folder:before { content: "\ea83" }
151
- .codicon-logo-github:before { content: "\ea84" }
152
- .codicon-mark-github:before { content: "\ea84" }
153
- .codicon-github:before { content: "\ea84" }
154
- .codicon-terminal:before { content: "\ea85" }
155
- .codicon-console:before { content: "\ea85" }
156
- .codicon-repl:before { content: "\ea85" }
157
- .codicon-zap:before { content: "\ea86" }
158
- .codicon-symbol-event:before { content: "\ea86" }
159
- .codicon-error:before { content: "\ea87" }
160
- .codicon-stop:before { content: "\ea87" }
161
- .codicon-variable:before { content: "\ea88" }
162
- .codicon-symbol-variable:before { content: "\ea88" }
163
- .codicon-array:before { content: "\ea8a" }
164
- .codicon-symbol-array:before { content: "\ea8a" }
165
- .codicon-symbol-module:before { content: "\ea8b" }
166
- .codicon-symbol-package:before { content: "\ea8b" }
167
- .codicon-symbol-namespace:before { content: "\ea8b" }
168
- .codicon-symbol-object:before { content: "\ea8b" }
169
- .codicon-symbol-method:before { content: "\ea8c" }
170
- .codicon-symbol-function:before { content: "\ea8c" }
171
- .codicon-symbol-constructor:before { content: "\ea8c" }
172
- .codicon-symbol-boolean:before { content: "\ea8f" }
173
- .codicon-symbol-null:before { content: "\ea8f" }
174
- .codicon-symbol-numeric:before { content: "\ea90" }
175
- .codicon-symbol-number:before { content: "\ea90" }
176
- .codicon-symbol-structure:before { content: "\ea91" }
177
- .codicon-symbol-struct:before { content: "\ea91" }
178
- .codicon-symbol-parameter:before { content: "\ea92" }
179
- .codicon-symbol-type-parameter:before { content: "\ea92" }
180
- .codicon-symbol-key:before { content: "\ea93" }
181
- .codicon-symbol-text:before { content: "\ea93" }
182
- .codicon-symbol-reference:before { content: "\ea94" }
183
- .codicon-go-to-file:before { content: "\ea94" }
184
- .codicon-symbol-enum:before { content: "\ea95" }
185
- .codicon-symbol-value:before { content: "\ea95" }
186
- .codicon-symbol-ruler:before { content: "\ea96" }
187
- .codicon-symbol-unit:before { content: "\ea96" }
188
- .codicon-activate-breakpoints:before { content: "\ea97" }
189
- .codicon-archive:before { content: "\ea98" }
190
- .codicon-arrow-both:before { content: "\ea99" }
191
- .codicon-arrow-down:before { content: "\ea9a" }
192
- .codicon-arrow-left:before { content: "\ea9b" }
193
- .codicon-arrow-right:before { content: "\ea9c" }
194
- .codicon-arrow-small-down:before { content: "\ea9d" }
195
- .codicon-arrow-small-left:before { content: "\ea9e" }
196
- .codicon-arrow-small-right:before { content: "\ea9f" }
197
- .codicon-arrow-small-up:before { content: "\eaa0" }
198
- .codicon-arrow-up:before { content: "\eaa1" }
199
- .codicon-bell:before { content: "\eaa2" }
200
- .codicon-bold:before { content: "\eaa3" }
201
- .codicon-book:before { content: "\eaa4" }
202
- .codicon-bookmark:before { content: "\eaa5" }
203
- .codicon-debug-breakpoint-conditional-unverified:before { content: "\eaa6" }
204
- .codicon-debug-breakpoint-conditional:before { content: "\eaa7" }
205
- .codicon-debug-breakpoint-conditional-disabled:before { content: "\eaa7" }
206
- .codicon-debug-breakpoint-data-unverified:before { content: "\eaa8" }
207
- .codicon-debug-breakpoint-data:before { content: "\eaa9" }
208
- .codicon-debug-breakpoint-data-disabled:before { content: "\eaa9" }
209
- .codicon-debug-breakpoint-log-unverified:before { content: "\eaaa" }
210
- .codicon-debug-breakpoint-log:before { content: "\eaab" }
211
- .codicon-debug-breakpoint-log-disabled:before { content: "\eaab" }
212
- .codicon-briefcase:before { content: "\eaac" }
213
- .codicon-broadcast:before { content: "\eaad" }
214
- .codicon-browser:before { content: "\eaae" }
215
- .codicon-bug:before { content: "\eaaf" }
216
- .codicon-calendar:before { content: "\eab0" }
217
- .codicon-case-sensitive:before { content: "\eab1" }
218
- .codicon-check:before { content: "\eab2" }
219
- .codicon-checklist:before { content: "\eab3" }
220
- .codicon-chevron-down:before { content: "\eab4" }
221
- .codicon-chevron-left:before { content: "\eab5" }
222
- .codicon-chevron-right:before { content: "\eab6" }
223
- .codicon-chevron-up:before { content: "\eab7" }
224
- .codicon-chrome-close:before { content: "\eab8" }
225
- .codicon-chrome-maximize:before { content: "\eab9" }
226
- .codicon-chrome-minimize:before { content: "\eaba" }
227
- .codicon-chrome-restore:before { content: "\eabb" }
228
- .codicon-circle-outline:before { content: "\eabc" }
229
- .codicon-debug-breakpoint-unverified:before { content: "\eabc" }
230
- .codicon-circle-slash:before { content: "\eabd" }
231
- .codicon-circuit-board:before { content: "\eabe" }
232
- .codicon-clear-all:before { content: "\eabf" }
233
- .codicon-clippy:before { content: "\eac0" }
234
- .codicon-close-all:before { content: "\eac1" }
235
- .codicon-cloud-download:before { content: "\eac2" }
236
- .codicon-cloud-upload:before { content: "\eac3" }
237
- .codicon-code:before { content: "\eac4" }
238
- .codicon-collapse-all:before { content: "\eac5" }
239
- .codicon-color-mode:before { content: "\eac6" }
240
- .codicon-comment-discussion:before { content: "\eac7" }
241
- .codicon-credit-card:before { content: "\eac9" }
242
- .codicon-dash:before { content: "\eacc" }
243
- .codicon-dashboard:before { content: "\eacd" }
244
- .codicon-database:before { content: "\eace" }
245
- .codicon-debug-continue:before { content: "\eacf" }
246
- .codicon-debug-disconnect:before { content: "\ead0" }
247
- .codicon-debug-pause:before { content: "\ead1" }
248
- .codicon-debug-restart:before { content: "\ead2" }
249
- .codicon-debug-start:before { content: "\ead3" }
250
- .codicon-debug-step-into:before { content: "\ead4" }
251
- .codicon-debug-step-out:before { content: "\ead5" }
252
- .codicon-debug-step-over:before { content: "\ead6" }
253
- .codicon-debug-stop:before { content: "\ead7" }
254
- .codicon-debug:before { content: "\ead8" }
255
- .codicon-device-camera-video:before { content: "\ead9" }
256
- .codicon-device-camera:before { content: "\eada" }
257
- .codicon-device-mobile:before { content: "\eadb" }
258
- .codicon-diff-added:before { content: "\eadc" }
259
- .codicon-diff-ignored:before { content: "\eadd" }
260
- .codicon-diff-modified:before { content: "\eade" }
261
- .codicon-diff-removed:before { content: "\eadf" }
262
- .codicon-diff-renamed:before { content: "\eae0" }
263
- .codicon-diff:before { content: "\eae1" }
264
- .codicon-discard:before { content: "\eae2" }
265
- .codicon-editor-layout:before { content: "\eae3" }
266
- .codicon-empty-window:before { content: "\eae4" }
267
- .codicon-exclude:before { content: "\eae5" }
268
- .codicon-extensions:before { content: "\eae6" }
269
- .codicon-eye-closed:before { content: "\eae7" }
270
- .codicon-file-binary:before { content: "\eae8" }
271
- .codicon-file-code:before { content: "\eae9" }
272
- .codicon-file-media:before { content: "\eaea" }
273
- .codicon-file-pdf:before { content: "\eaeb" }
274
- .codicon-file-submodule:before { content: "\eaec" }
275
- .codicon-file-symlink-directory:before { content: "\eaed" }
276
- .codicon-file-symlink-file:before { content: "\eaee" }
277
- .codicon-file-zip:before { content: "\eaef" }
278
- .codicon-files:before { content: "\eaf0" }
279
- .codicon-filter:before { content: "\eaf1" }
280
- .codicon-flame:before { content: "\eaf2" }
281
- .codicon-fold-down:before { content: "\eaf3" }
282
- .codicon-fold-up:before { content: "\eaf4" }
283
- .codicon-fold:before { content: "\eaf5" }
284
- .codicon-folder-active:before { content: "\eaf6" }
285
- .codicon-folder-opened:before { content: "\eaf7" }
286
- .codicon-gear:before { content: "\eaf8" }
287
- .codicon-gift:before { content: "\eaf9" }
288
- .codicon-gist-secret:before { content: "\eafa" }
289
- .codicon-gist:before { content: "\eafb" }
290
- .codicon-git-commit:before { content: "\eafc" }
291
- .codicon-git-compare:before { content: "\eafd" }
292
- .codicon-compare-changes:before { content: "\eafd" }
293
- .codicon-git-merge:before { content: "\eafe" }
294
- .codicon-github-action:before { content: "\eaff" }
295
- .codicon-github-alt:before { content: "\eb00" }
296
- .codicon-globe:before { content: "\eb01" }
297
- .codicon-grabber:before { content: "\eb02" }
298
- .codicon-graph:before { content: "\eb03" }
299
- .codicon-gripper:before { content: "\eb04" }
300
- .codicon-heart:before { content: "\eb05" }
301
- .codicon-home:before { content: "\eb06" }
302
- .codicon-horizontal-rule:before { content: "\eb07" }
303
- .codicon-hubot:before { content: "\eb08" }
304
- .codicon-inbox:before { content: "\eb09" }
305
- .codicon-issue-reopened:before { content: "\eb0b" }
306
- .codicon-issues:before { content: "\eb0c" }
307
- .codicon-italic:before { content: "\eb0d" }
308
- .codicon-jersey:before { content: "\eb0e" }
309
- .codicon-json:before { content: "\eb0f" }
310
- .codicon-kebab-vertical:before { content: "\eb10" }
311
- .codicon-key:before { content: "\eb11" }
312
- .codicon-law:before { content: "\eb12" }
313
- .codicon-lightbulb-autofix:before { content: "\eb13" }
314
- .codicon-link-external:before { content: "\eb14" }
315
- .codicon-link:before { content: "\eb15" }
316
- .codicon-list-ordered:before { content: "\eb16" }
317
- .codicon-list-unordered:before { content: "\eb17" }
318
- .codicon-live-share:before { content: "\eb18" }
319
- .codicon-loading:before { content: "\eb19" }
320
- .codicon-location:before { content: "\eb1a" }
321
- .codicon-mail-read:before { content: "\eb1b" }
322
- .codicon-mail:before { content: "\eb1c" }
323
- .codicon-markdown:before { content: "\eb1d" }
324
- .codicon-megaphone:before { content: "\eb1e" }
325
- .codicon-mention:before { content: "\eb1f" }
326
- .codicon-milestone:before { content: "\eb20" }
327
- .codicon-mortar-board:before { content: "\eb21" }
328
- .codicon-move:before { content: "\eb22" }
329
- .codicon-multiple-windows:before { content: "\eb23" }
330
- .codicon-mute:before { content: "\eb24" }
331
- .codicon-no-newline:before { content: "\eb25" }
332
- .codicon-note:before { content: "\eb26" }
333
- .codicon-octoface:before { content: "\eb27" }
334
- .codicon-open-preview:before { content: "\eb28" }
335
- .codicon-package:before { content: "\eb29" }
336
- .codicon-paintcan:before { content: "\eb2a" }
337
- .codicon-pin:before { content: "\eb2b" }
338
- .codicon-play:before { content: "\eb2c" }
339
- .codicon-run:before { content: "\eb2c" }
340
- .codicon-plug:before { content: "\eb2d" }
341
- .codicon-preserve-case:before { content: "\eb2e" }
342
- .codicon-preview:before { content: "\eb2f" }
343
- .codicon-project:before { content: "\eb30" }
344
- .codicon-pulse:before { content: "\eb31" }
345
- .codicon-question:before { content: "\eb32" }
346
- .codicon-quote:before { content: "\eb33" }
347
- .codicon-radio-tower:before { content: "\eb34" }
348
- .codicon-reactions:before { content: "\eb35" }
349
- .codicon-references:before { content: "\eb36" }
350
- .codicon-refresh:before { content: "\eb37" }
351
- .codicon-regex:before { content: "\eb38" }
352
- .codicon-remote-explorer:before { content: "\eb39" }
353
- .codicon-remote:before { content: "\eb3a" }
354
- .codicon-remove:before { content: "\eb3b" }
355
- .codicon-replace-all:before { content: "\eb3c" }
356
- .codicon-replace:before { content: "\eb3d" }
357
- .codicon-repo-clone:before { content: "\eb3e" }
358
- .codicon-repo-force-push:before { content: "\eb3f" }
359
- .codicon-repo-pull:before { content: "\eb40" }
360
- .codicon-repo-push:before { content: "\eb41" }
361
- .codicon-report:before { content: "\eb42" }
362
- .codicon-request-changes:before { content: "\eb43" }
363
- .codicon-rocket:before { content: "\eb44" }
364
- .codicon-root-folder-opened:before { content: "\eb45" }
365
- .codicon-root-folder:before { content: "\eb46" }
366
- .codicon-rss:before { content: "\eb47" }
367
- .codicon-ruby:before { content: "\eb48" }
368
- .codicon-save-all:before { content: "\eb49" }
369
- .codicon-save-as:before { content: "\eb4a" }
370
- .codicon-save:before { content: "\eb4b" }
371
- .codicon-screen-full:before { content: "\eb4c" }
372
- .codicon-screen-normal:before { content: "\eb4d" }
373
- .codicon-search-stop:before { content: "\eb4e" }
374
- .codicon-server:before { content: "\eb50" }
375
- .codicon-settings-gear:before { content: "\eb51" }
376
- .codicon-settings:before { content: "\eb52" }
377
- .codicon-shield:before { content: "\eb53" }
378
- .codicon-smiley:before { content: "\eb54" }
379
- .codicon-sort-precedence:before { content: "\eb55" }
380
- .codicon-split-horizontal:before { content: "\eb56" }
381
- .codicon-split-vertical:before { content: "\eb57" }
382
- .codicon-squirrel:before { content: "\eb58" }
383
- .codicon-star-full:before { content: "\eb59" }
384
- .codicon-star-half:before { content: "\eb5a" }
385
- .codicon-symbol-class:before { content: "\eb5b" }
386
- .codicon-symbol-color:before { content: "\eb5c" }
387
- .codicon-symbol-constant:before { content: "\eb5d" }
388
- .codicon-symbol-enum-member:before { content: "\eb5e" }
389
- .codicon-symbol-field:before { content: "\eb5f" }
390
- .codicon-symbol-file:before { content: "\eb60" }
391
- .codicon-symbol-interface:before { content: "\eb61" }
392
- .codicon-symbol-keyword:before { content: "\eb62" }
393
- .codicon-symbol-misc:before { content: "\eb63" }
394
- .codicon-symbol-operator:before { content: "\eb64" }
395
- .codicon-symbol-property:before { content: "\eb65" }
396
- .codicon-wrench:before { content: "\eb65" }
397
- .codicon-wrench-subaction:before { content: "\eb65" }
398
- .codicon-symbol-snippet:before { content: "\eb66" }
399
- .codicon-tasklist:before { content: "\eb67" }
400
- .codicon-telescope:before { content: "\eb68" }
401
- .codicon-text-size:before { content: "\eb69" }
402
- .codicon-three-bars:before { content: "\eb6a" }
403
- .codicon-thumbsdown:before { content: "\eb6b" }
404
- .codicon-thumbsup:before { content: "\eb6c" }
405
- .codicon-tools:before { content: "\eb6d" }
406
- .codicon-triangle-down:before { content: "\eb6e" }
407
- .codicon-triangle-left:before { content: "\eb6f" }
408
- .codicon-triangle-right:before { content: "\eb70" }
409
- .codicon-triangle-up:before { content: "\eb71" }
410
- .codicon-twitter:before { content: "\eb72" }
411
- .codicon-unfold:before { content: "\eb73" }
412
- .codicon-unlock:before { content: "\eb74" }
413
- .codicon-unmute:before { content: "\eb75" }
414
- .codicon-unverified:before { content: "\eb76" }
415
- .codicon-verified:before { content: "\eb77" }
416
- .codicon-versions:before { content: "\eb78" }
417
- .codicon-vm-active:before { content: "\eb79" }
418
- .codicon-vm-outline:before { content: "\eb7a" }
419
- .codicon-vm-running:before { content: "\eb7b" }
420
- .codicon-watch:before { content: "\eb7c" }
421
- .codicon-whitespace:before { content: "\eb7d" }
422
- .codicon-whole-word:before { content: "\eb7e" }
423
- .codicon-window:before { content: "\eb7f" }
424
- .codicon-word-wrap:before { content: "\eb80" }
425
- .codicon-zoom-in:before { content: "\eb81" }
426
- .codicon-zoom-out:before { content: "\eb82" }
427
- .codicon-list-filter:before { content: "\eb83" }
428
- .codicon-list-flat:before { content: "\eb84" }
429
- .codicon-list-selection:before { content: "\eb85" }
430
- .codicon-selection:before { content: "\eb85" }
431
- .codicon-list-tree:before { content: "\eb86" }
432
- .codicon-debug-breakpoint-function-unverified:before { content: "\eb87" }
433
- .codicon-debug-breakpoint-function:before { content: "\eb88" }
434
- .codicon-debug-breakpoint-function-disabled:before { content: "\eb88" }
435
- .codicon-debug-stackframe-active:before { content: "\eb89" }
436
- .codicon-circle-small-filled:before { content: "\eb8a" }
437
- .codicon-debug-stackframe-dot:before { content: "\eb8a" }
438
- .codicon-debug-stackframe:before { content: "\eb8b" }
439
- .codicon-debug-stackframe-focused:before { content: "\eb8b" }
440
- .codicon-debug-breakpoint-unsupported:before { content: "\eb8c" }
441
- .codicon-symbol-string:before { content: "\eb8d" }
442
- .codicon-debug-reverse-continue:before { content: "\eb8e" }
443
- .codicon-debug-step-back:before { content: "\eb8f" }
444
- .codicon-debug-restart-frame:before { content: "\eb90" }
445
- .codicon-debug-alt:before { content: "\eb91" }
446
- .codicon-call-incoming:before { content: "\eb92" }
447
- .codicon-call-outgoing:before { content: "\eb93" }
448
- .codicon-menu:before { content: "\eb94" }
449
- .codicon-expand-all:before { content: "\eb95" }
450
- .codicon-feedback:before { content: "\eb96" }
451
- .codicon-group-by-ref-type:before { content: "\eb97" }
452
- .codicon-ungroup-by-ref-type:before { content: "\eb98" }
453
- .codicon-account:before { content: "\eb99" }
454
- .codicon-bell-dot:before { content: "\eb9a" }
455
- .codicon-debug-console:before { content: "\eb9b" }
456
- .codicon-library:before { content: "\eb9c" }
457
- .codicon-output:before { content: "\eb9d" }
458
- .codicon-run-all:before { content: "\eb9e" }
459
- .codicon-sync-ignored:before { content: "\eb9f" }
460
- .codicon-pinned:before { content: "\eba0" }
461
- .codicon-github-inverted:before { content: "\eba1" }
462
- .codicon-server-process:before { content: "\eba2" }
463
- .codicon-server-environment:before { content: "\eba3" }
464
- .codicon-pass:before { content: "\eba4" }
465
- .codicon-issue-closed:before { content: "\eba4" }
466
- .codicon-stop-circle:before { content: "\eba5" }
467
- .codicon-play-circle:before { content: "\eba6" }
468
- .codicon-record:before { content: "\eba7" }
469
- .codicon-debug-alt-small:before { content: "\eba8" }
470
- .codicon-vm-connect:before { content: "\eba9" }
471
- .codicon-cloud:before { content: "\ebaa" }
472
- .codicon-merge:before { content: "\ebab" }
473
- .codicon-export:before { content: "\ebac" }
474
- .codicon-graph-left:before { content: "\ebad" }
475
- .codicon-magnet:before { content: "\ebae" }
476
- .codicon-notebook:before { content: "\ebaf" }
477
- .codicon-redo:before { content: "\ebb0" }
478
- .codicon-check-all:before { content: "\ebb1" }
479
- .codicon-pinned-dirty:before { content: "\ebb2" }
480
- .codicon-pass-filled:before { content: "\ebb3" }
481
- .codicon-circle-large-filled:before { content: "\ebb4" }
482
- .codicon-circle-large-outline:before { content: "\ebb5" }
483
- .codicon-combine:before { content: "\ebb6" }
484
- .codicon-gather:before { content: "\ebb6" }
485
- .codicon-table:before { content: "\ebb7" }
486
- .codicon-variable-group:before { content: "\ebb8" }
487
- .codicon-type-hierarchy:before { content: "\ebb9" }
488
- .codicon-type-hierarchy-sub:before { content: "\ebba" }
489
- .codicon-type-hierarchy-super:before { content: "\ebbb" }
490
- .codicon-git-pull-request-create:before { content: "\ebbc" }
491
- .codicon-run-above:before { content: "\ebbd" }
492
- .codicon-run-below:before { content: "\ebbe" }
493
- .codicon-notebook-template:before { content: "\ebbf" }
494
- .codicon-debug-rerun:before { content: "\ebc0" }
495
- .codicon-workspace-trusted:before { content: "\ebc1" }
496
- .codicon-workspace-untrusted:before { content: "\ebc2" }
497
- .codicon-workspace-unknown:before { content: "\ebc3" }
498
- .codicon-terminal-cmd:before { content: "\ebc4" }
499
- .codicon-terminal-debian:before { content: "\ebc5" }
500
- .codicon-terminal-linux:before { content: "\ebc6" }
501
- .codicon-terminal-powershell:before { content: "\ebc7" }
502
- .codicon-terminal-tmux:before { content: "\ebc8" }
503
- .codicon-terminal-ubuntu:before { content: "\ebc9" }
504
- .codicon-terminal-bash:before { content: "\ebca" }
505
- .codicon-arrow-swap:before { content: "\ebcb" }
506
- .codicon-copy:before { content: "\ebcc" }
507
- .codicon-person-add:before { content: "\ebcd" }
508
- .codicon-filter-filled:before { content: "\ebce" }
509
- .codicon-wand:before { content: "\ebcf" }
510
- .codicon-debug-line-by-line:before { content: "\ebd0" }
511
- .codicon-inspect:before { content: "\ebd1" }
512
- .codicon-layers:before { content: "\ebd2" }
513
- .codicon-layers-dot:before { content: "\ebd3" }
514
- .codicon-layers-active:before { content: "\ebd4" }
515
- .codicon-compass:before { content: "\ebd5" }
516
- .codicon-compass-dot:before { content: "\ebd6" }
517
- .codicon-compass-active:before { content: "\ebd7" }
518
- .codicon-azure:before { content: "\ebd8" }
519
- .codicon-issue-draft:before { content: "\ebd9" }
520
- .codicon-git-pull-request-closed:before { content: "\ebda" }
521
- .codicon-git-pull-request-draft:before { content: "\ebdb" }
522
- .codicon-debug-all:before { content: "\ebdc" }
523
- .codicon-debug-coverage:before { content: "\ebdd" }
524
- .codicon-run-errors:before { content: "\ebde" }
525
- .codicon-folder-library:before { content: "\ebdf" }
526
- .codicon-debug-continue-small:before { content: "\ebe0" }
527
- .codicon-beaker-stop:before { content: "\ebe1" }
528
- .codicon-graph-line:before { content: "\ebe2" }
529
- .codicon-graph-scatter:before { content: "\ebe3" }
530
- .codicon-pie-chart:before { content: "\ebe4" }
531
- .codicon-bracket:before { content: "\eb0f" }
532
- .codicon-bracket-dot:before { content: "\ebe5" }
533
- .codicon-bracket-error:before { content: "\ebe6" }
534
- .codicon-lock-small:before { content: "\ebe7" }
535
- .codicon-azure-devops:before { content: "\ebe8" }
536
- .codicon-verified-filled:before { content: "\ebe9" }
537
- .codicon-newline:before { content: "\ebea" }
538
- .codicon-layout:before { content: "\ebeb" }
539
- .codicon-layout-activitybar-left:before { content: "\ebec" }
540
- .codicon-layout-activitybar-right:before { content: "\ebed" }
541
- .codicon-layout-panel-left:before { content: "\ebee" }
542
- .codicon-layout-panel-center:before { content: "\ebef" }
543
- .codicon-layout-panel-justify:before { content: "\ebf0" }
544
- .codicon-layout-panel-right:before { content: "\ebf1" }
545
- .codicon-layout-panel:before { content: "\ebf2" }
546
- .codicon-layout-sidebar-left:before { content: "\ebf3" }
547
- .codicon-layout-sidebar-right:before { content: "\ebf4" }
548
- .codicon-layout-statusbar:before { content: "\ebf5" }
549
- .codicon-layout-menubar:before { content: "\ebf6" }
550
- .codicon-layout-centered:before { content: "\ebf7" }
551
- .codicon-target:before { content: "\ebf8" }
552
- .codicon-indent:before { content: "\ebf9" }
553
- .codicon-record-small:before { content: "\ebfa" }
554
- .codicon-error-small:before { content: "\ebfb" }
555
- .codicon-arrow-circle-down:before { content: "\ebfc" }
556
- .codicon-arrow-circle-left:before { content: "\ebfd" }
557
- .codicon-arrow-circle-right:before { content: "\ebfe" }
558
- .codicon-arrow-circle-up:before { content: "\ebff" }
559
- .codicon-layout-sidebar-right-off:before { content: "\ec00" }
560
- .codicon-layout-panel-off:before { content: "\ec01" }
561
- .codicon-layout-sidebar-left-off:before { content: "\ec02" }
562
- .codicon-blank:before { content: "\ec03" }
563
- .codicon-heart-filled:before { content: "\ec04" }
564
- .codicon-map:before { content: "\ec05" }
565
- .codicon-map-filled:before { content: "\ec06" }
566
- .codicon-circle-small:before { content: "\ec07" }
567
- .codicon-bell-slash:before { content: "\ec08" }
568
- .codicon-bell-slash-dot:before { content: "\ec09" }
569
- .codicon-comment-unresolved:before { content: "\ec0a" }
570
- .codicon-git-pull-request-go-to-changes:before { content: "\ec0b" }
571
- .codicon-git-pull-request-new-changes:before { content: "\ec0c" }