lean4monaco 1.0.43 → 1.0.46

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm-running.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M1.5 2h13l.5.5v5.503a5.006 5.006 0 0 0-1-.583V3H2v9h5a5 5 0 0 0 1 3H4v-1h3v-1H1.5l-.5-.5v-10l.5-.5z"/><path d="M12 8c.367 0 .721.047 1.063.14.34.094.658.23.953.407.294.177.563.385.808.625.245.24.455.509.63.808a4.03 4.03 0 0 1 .405 3.082c-.093.342-.229.66-.406.954a4.382 4.382 0 0 1-.625.808c-.24.245-.509.455-.808.63a4.029 4.029 0 0 1-3.082.405 3.784 3.784 0 0 1-.954-.406 4.382 4.382 0 0 1-.808-.625 3.808 3.808 0 0 1-.63-.808 4.027 4.027 0 0 1-.405-3.082c.093-.342.229-.66.406-.954.177-.294.385-.563.625-.808.24-.245.509-.455.808-.63A4.028 4.028 0 0 1 12 8zm2 3.988L11 10v4l3-2.012z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vm.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M14.5 2h-13l-.5.5v10l.5.5H7v1H4v1h8v-1H9v-1h5.5l.5-.5v-10l-.5-.5zM14 12H2V3h12v9z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vr.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M4 3H12C13.6569 3 15 4.34315 15 6V10C15 11.6569 13.6569 13 12 13H11.6056C11.0133 13 10.4343 12.8247 9.94145 12.4962L9.1094 11.9415C8.4376 11.4936 7.5624 11.4936 6.8906 11.9415L6.05855 12.4962C5.56575 12.8247 4.98672 13 4.39445 13H4C2.34315 13 1 11.6569 1 10V6C1 4.34315 2.34315 3 4 3ZM4 4C2.89543 4 2 4.89543 2 6V10C2 11.1046 2.89543 12 4 12H4.39445C4.7893 12 5.17531 11.8831 5.50385 11.6641L6.3359 11.1094C7.3436 10.4376 8.6564 10.4376 9.6641 11.1094L10.4962 11.6641C10.8247 11.8831 11.2107 12 11.6056 12H12C13.1046 12 14 11.1046 14 10V6C14 4.89543 13.1046 4 12 4H4Z"/><path d="M0 7H1V10H0V7Z"/><path d="M15 7H16V10H15V7Z"/><path d="M6.5 8C6.77614 8 7 8.22386 7 8.5C7 8.77614 6.77614 9 6.5 9H4C3.72386 9 3.5 8.77614 3.5 8.5C3.5 8.22386 3.72386 8 4 8H6.5Z"/><path d="M12 8C12.2761 8 12.5 8.22386 12.5 8.5C12.5 8.77614 12.2761 9 12 9H9.5C9.22386 9 9 8.77614 9 8.5C9 8.22386 9.22386 8 9.5 8H12Z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vscode-insiders.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M9.7851 1.38057L5.56484 5.25075L7.68844 6.87108L10 5.10733V2C10 1.76607 9.91968 1.5509 9.7851 1.38057Z"/><path d="M10 9.89268L2.58433 4.23442C2.37657 4.0759 2.08597 4.08889 1.89301 4.26532L1.17719 4.91984C1.08223 5.00667 1.02543 5.11898 1.00681 5.23629C0.979153 5.41056 1.03574 5.59585 1.17661 5.72504L9.7851 13.6194C9.91968 13.4491 10 13.2339 10 13V9.89268Z"/><path d="M10.7532 1.0368C10.9105 1.32251 11 1.65081 11 2V13C11 13.3492 10.9105 13.6775 10.7532 13.9632C10.7906 13.9515 10.8274 13.9369 10.8634 13.9195L13.5399 12.625C13.8211 12.4889 14 12.2028 14 11.8889V3.11109C14 2.79721 13.8212 2.5111 13.5399 2.37507L10.8634 1.08048C10.8274 1.06306 10.7906 1.04852 10.7532 1.0368Z"/><path d="M1.17661 9.27496L2.37233 8.17842L4.00854 9.6789L2.58433 10.7656C2.37657 10.9241 2.08597 10.9111 1.89301 10.7347L1.17719 10.0802C0.941168 9.86437 0.940898 9.49112 1.17661 9.27496Z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/vscode.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M10.8634 13.9195C10.6568 14.0195 10.4233 14.0246 10.2185 13.9444C10.1162 13.9044 10.021 13.843 9.93997 13.7614L4.81616 9.06268L2.58433 10.7656C2.37657 10.9241 2.08597 10.9111 1.89301 10.7347L1.17719 10.0802C0.941168 9.86437 0.940898 9.49112 1.17661 9.27496L3.11213 7.5L1.17661 5.72504C0.940898 5.50888 0.941168 5.13563 1.17719 4.91982L1.89301 4.2653C2.08597 4.08887 2.37657 4.07588 2.58433 4.2344L4.81616 5.93732L9.93997 1.23855C9.97037 1.20797 10.0028 1.18023 10.0368 1.15538C10.2748 0.981429 10.5922 0.949298 10.8634 1.08048L13.5399 2.37507C13.8212 2.5111 14 2.79721 14 3.11109V8H10.752V4.53356L6.86419 7.5L10.752 10.4664V8H14V11.8889C14 12.2028 13.8211 12.4889 13.5399 12.625L10.8634 13.9195Z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/wand.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M4.38 5h1V4h1V3h-1V2h-1v1h-1v1h1v1zm8 4h-1v1h-1v1h1v1h1v-1h1v-1h-1V9zM14 2V1h-1v1h-1v1h1v1h1V3h1V2h-1zm-2.947 2.442a1.49 1.49 0 0 0-2.12 0l-7.49 7.49a1.49 1.49 0 0 0 0 2.12c.59.59 1.54.59 2.12 0l7.49-7.49c.58-.58.58-1.53 0-2.12zm-8.2 8.9c-.2.2-.51.2-.71 0-.2-.2-.2-.51 0-.71l6.46-6.46.71.71-6.46 6.46zm7.49-7.49l-.32.32-.71-.71.32-.32c.2-.2.51-.2.71 0 .19.2.19.52 0 .71z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/warning.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M7.56 1h.88l6.54 12.26-.44.74H1.44L1 13.26 7.56 1zM8 2.28L2.28 13H13.7L8 2.28zM8.625 12v-1h-1.25v1h1.25zm-1.25-2V6h1.25v4h-1.25z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/watch.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M7.5 9h2V8H8V5.5H7v3l.5.5z"/><path fill-rule="evenodd" clip-rule="evenodd" d="M5.5 3.669A4.998 4.998 0 0 0 3 8a4.998 4.998 0 0 0 2.5 4.331V14.5l.5.5h4l.5-.5v-2.169A4.998 4.998 0 0 0 13 8a4.998 4.998 0 0 0-2.5-4.331V1.5L10 1H6l-.5.5v2.169zM12 8a4 4 0 1 1-8 0 4 4 0 0 1 8 0z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/whitespace.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M12 2V1H6.5a3.5 3.5 0 0 0 0 7H8v5H7v1h5v-1h-1V2h1zM8 7H6.5a2.5 2.5 0 1 1 0-5H8v5zm2 6H9V2h1v11z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/whole-word.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M0 11H1V13H15V11H16V14H15H1H0V11Z"/><path d="M6.84048 11H5.95963V10.1406H5.93814C5.555 10.7995 4.99104 11.1289 4.24625 11.1289C3.69839 11.1289 3.26871 10.9839 2.95718 10.6938C2.64924 10.4038 2.49527 10.0189 2.49527 9.53906C2.49527 8.51139 3.10041 7.91341 4.3107 7.74512L5.95963 7.51416C5.95963 6.57959 5.58186 6.1123 4.82632 6.1123C4.16389 6.1123 3.56591 6.33789 3.03238 6.78906V5.88672C3.57307 5.54297 4.19612 5.37109 4.90152 5.37109C6.19416 5.37109 6.84048 6.05501 6.84048 7.42285V11ZM5.95963 8.21777L4.63297 8.40039C4.22476 8.45768 3.91682 8.55973 3.70914 8.70654C3.50145 8.84977 3.39761 9.10579 3.39761 9.47461C3.39761 9.74316 3.4925 9.96338 3.68228 10.1353C3.87564 10.3035 4.13166 10.3877 4.45035 10.3877C4.8872 10.3877 5.24706 10.2355 5.52994 9.93115C5.8164 9.62321 5.95963 9.2347 5.95963 8.76562V8.21777Z"/><path d="M9.3475 10.2051H9.32601V11H8.44515V2.85742H9.32601V6.4668H9.3475C9.78076 5.73633 10.4146 5.37109 11.2489 5.37109C11.9543 5.37109 12.5057 5.61816 12.9032 6.1123C13.3042 6.60286 13.5047 7.26172 13.5047 8.08887C13.5047 9.00911 13.2809 9.74674 12.8333 10.3018C12.3857 10.8532 11.7734 11.1289 10.9964 11.1289C10.2695 11.1289 9.71989 10.821 9.3475 10.2051ZM9.32601 7.98682V8.75488C9.32601 9.20964 9.47282 9.59635 9.76644 9.91504C10.0636 10.2301 10.4396 10.3877 10.8944 10.3877C11.4279 10.3877 11.8451 10.1836 12.1458 9.77539C12.4502 9.36719 12.6024 8.79964 12.6024 8.07275C12.6024 7.46045 12.4609 6.98063 12.1781 6.6333C11.8952 6.28597 11.512 6.1123 11.0286 6.1123C10.5166 6.1123 10.1048 6.29134 9.7933 6.64941C9.48177 7.00391 9.32601 7.44971 9.32601 7.98682Z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/window.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M14.5 2h-13l-.5.5v11l.5.5h13l.5-.5v-11l-.5-.5zM14 13H2V6h12v7zm0-8H2V3h12v2z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/word-wrap.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M3.868 3.449a1.21 1.21 0 0 0-.473-.329c-.274-.111-.623-.15-1.055-.076a3.5 3.5 0 0 0-.71.208c-.082.035-.16.077-.235.125l-.043.03v1.056l.168-.139c.15-.124.326-.225.527-.303.196-.074.4-.113.604-.113.188 0 .33.051.431.157.087.095.137.248.147.456l-.962.144c-.219.03-.41.086-.57.166a1.245 1.245 0 0 0-.398.311c-.103.125-.181.27-.229.426-.097.33-.093.68.011 1.008a1.096 1.096 0 0 0 .638.67c.155.063.328.093.528.093a1.25 1.25 0 0 0 .978-.441v.345h1.007V4.65c0-.255-.03-.484-.089-.681a1.423 1.423 0 0 0-.275-.52zm-.636 1.896v.236c0 .119-.018.231-.055.341a.745.745 0 0 1-.377.447.694.694 0 0 1-.512.027.454.454 0 0 1-.156-.094.389.389 0 0 1-.094-.139.474.474 0 0 1-.035-.186c0-.077.01-.147.024-.212a.33.33 0 0 1 .078-.141.436.436 0 0 1 .161-.109 1.3 1.3 0 0 1 .305-.073l.661-.097zm5.051-1.067a2.253 2.253 0 0 0-.244-.656 1.354 1.354 0 0 0-.436-.459 1.165 1.165 0 0 0-.642-.173 1.136 1.136 0 0 0-.69.223 1.33 1.33 0 0 0-.264.266V1H5.09v6.224h.918v-.281c.123.152.287.266.472.328.098.032.208.047.33.047.255 0 .483-.06.677-.177.192-.115.355-.278.486-.486a2.29 2.29 0 0 0 .293-.718 3.87 3.87 0 0 0 .096-.886 3.714 3.714 0 0 0-.078-.773zm-.86.758c0 .232-.02.439-.06.613-.036.172-.09.315-.159.424a.639.639 0 0 1-.233.237.582.582 0 0 1-.565.014.683.683 0 0 1-.21-.183.925.925 0 0 1-.142-.283A1.187 1.187 0 0 1 6 5.5v-.517c0-.164.02-.314.06-.447.036-.132.087-.242.156-.336a.668.668 0 0 1 .228-.208.584.584 0 0 1 .29-.071.554.554 0 0 1 .496.279c.063.099.108.214.143.354.031.143.05.306.05.482zM2.407 9.9a.913.913 0 0 1 .316-.239c.218-.1.547-.105.766-.018.104.042.204.1.32.184l.33.26V8.945l-.097-.062a1.932 1.932 0 0 0-.905-.215c-.308 0-.593.057-.846.168-.25.11-.467.27-.647.475-.18.21-.318.453-.403.717-.09.272-.137.57-.137.895 0 .289.043.561.13.808.086.249.211.471.373.652.161.185.361.333.597.441.232.104.493.155.778.155.233 0 .434-.028.613-.084.165-.05.322-.123.466-.217l.078-.061v-.889l-.2.095a.4.4 0 0 1-.076.026c-.05.017-.099.035-.128.049-.036.023-.227.09-.227.09-.06.024-.14.043-.218.059a.977.977 0 0 1-.599-.057.827.827 0 0 1-.306-.225 1.088 1.088 0 0 1-.205-.376 1.728 1.728 0 0 1-.076-.529c0-.21.028-.399.083-.56.054-.158.13-.294.22-.4zM14 6h-4V5h4.5l.5.5v6l-.5.5H7.879l2.07 2.071-.706.707-2.89-2.889v-.707l2.89-2.89L9.95 9l-2 2H14V6z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-trusted.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M8.069 0c.262 0 .52.017.76.057a4.1 4.1 0 0 1 .697.154c.228.069.451.155.674.263.217.103.44.229.663.366.377.24.748.434 1.126.589a7.537 7.537 0 0 0 2.331.525c.406.029.823.046 1.257.046v4c0 .76-.097 1.48-.291 2.166a8.996 8.996 0 0 1-.789 1.943 10.312 10.312 0 0 1-1.188 1.725 15.091 15.091 0 0 1-1.492 1.532 17.57 17.57 0 0 1-1.703 1.325c-.594.412-1.194.795-1.794 1.143l-.24.143-.24-.143a27.093 27.093 0 0 1-1.806-1.143 15.58 15.58 0 0 1-1.703-1.325 15.082 15.082 0 0 1-1.491-1.532 10.947 10.947 0 0 1-1.194-1.725 9.753 9.753 0 0 1-.789-1.943A7.897 7.897 0 0 1 .571 6V2c.435 0 .852-.017 1.258-.046a8.16 8.16 0 0 0 1.188-.171c.383-.086.766-.2 1.143-.354A6.563 6.563 0 0 0 5.28.846C5.72.56 6.166.349 6.606.21A4.79 4.79 0 0 1 8.069 0zm6.502 2.983a9.566 9.566 0 0 1-2.234-.377 7.96 7.96 0 0 1-2.046-.943A4.263 4.263 0 0 0 9.23 1.16 3.885 3.885 0 0 0 8.074.994a3.99 3.99 0 0 0-1.165.166 3.946 3.946 0 0 0-1.058.503A7.926 7.926 0 0 1 3.8 2.61c-.709.206-1.451.332-2.229.378v3.017c0 .663.086 1.297.258 1.908a8.58 8.58 0 0 0 .72 1.743 9.604 9.604 0 0 0 1.08 1.572c.417.491.862.948 1.342 1.382.48.435.983.835 1.509 1.206.531.372 1.063.709 1.594 1.017a22.397 22.397 0 0 0 1.589-1.017 15.389 15.389 0 0 0 1.514-1.206c.48-.434.926-.891 1.343-1.382a9.596 9.596 0 0 0 1.08-1.572 8.258 8.258 0 0 0 .709-1.743 6.814 6.814 0 0 0 .262-1.908V2.983z"/><path fill-rule="evenodd" clip-rule="evenodd" d="M11.797 4.709l-.44-.378-.406.035-4.36 5.148-1.485-2.12-.4-.068-.463.331-.069.4 1.909 2.726.217.12.457.028.234-.102 4.835-5.715-.029-.405z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-unknown.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M8.067 0c.263 0 .52.017.76.057a4.1 4.1 0 0 1 .697.154c.229.069.452.155.675.263.217.103.44.229.662.366a7.2 7.2 0 0 0 1.126.589 7.534 7.534 0 0 0 2.332.525c.405.029.822.046 1.257.046v4c0 .76-.097 1.48-.292 2.166a8.996 8.996 0 0 1-.788 1.943 10.306 10.306 0 0 1-1.189 1.725 15.082 15.082 0 0 1-1.491 1.532 17.57 17.57 0 0 1-1.703 1.325c-.594.412-1.194.795-1.794 1.143l-.24.143-.24-.143a27.088 27.088 0 0 1-1.806-1.143 15.579 15.579 0 0 1-1.703-1.325 15.08 15.08 0 0 1-1.491-1.532 10.948 10.948 0 0 1-1.195-1.725 9.753 9.753 0 0 1-.788-1.943A7.897 7.897 0 0 1 .57 6V2c.434 0 .851-.017 1.257-.046a8.16 8.16 0 0 0 1.189-.171c.383-.086.765-.2 1.143-.354a6.563 6.563 0 0 0 1.12-.583C5.719.56 6.164.349 6.604.21A4.79 4.79 0 0 1 8.067 0zm6.503 2.983a9.567 9.567 0 0 1-2.234-.377 7.96 7.96 0 0 1-2.046-.943 4.264 4.264 0 0 0-1.063-.503A3.885 3.885 0 0 0 8.073.994a3.99 3.99 0 0 0-1.166.166 3.946 3.946 0 0 0-1.057.503 7.927 7.927 0 0 1-2.051.948c-.709.206-1.452.332-2.229.378v3.017c0 .663.086 1.297.257 1.908a8.58 8.58 0 0 0 .72 1.743 9.604 9.604 0 0 0 1.08 1.572c.417.491.863.948 1.343 1.382.48.435.983.835 1.509 1.206.531.372 1.062.709 1.594 1.017a22.4 22.4 0 0 0 1.588-1.017 15.384 15.384 0 0 0 1.515-1.206c.48-.434.925-.891 1.343-1.382a9.609 9.609 0 0 0 1.08-1.572 8.269 8.269 0 0 0 .708-1.743 6.814 6.814 0 0 0 .263-1.908V2.983z"/><path fill-rule="evenodd" clip-rule="evenodd" d="M9.433 4.72c.171.171.314.377.411.606.103.228.155.48.149.754a1.6 1.6 0 0 1-.114.64 2.24 2.24 0 0 1-.292.48 2.787 2.787 0 0 1-.354.383 4.52 4.52 0 0 0-.337.32 1.421 1.421 0 0 0-.24.32.7.7 0 0 0-.086.348v.36l-.131.138h-.715l-.143-.143V8.57c0-.24.04-.45.12-.634.075-.177.166-.343.28-.486a3.42 3.42 0 0 1 .366-.382c.12-.109.229-.212.332-.32.097-.103.182-.212.245-.326a.707.707 0 0 0 .086-.354.966.966 0 0 0-.074-.36.972.972 0 0 0-.2-.298.94.94 0 0 0-1.32 0 .88.88 0 0 0-.2.298.829.829 0 0 0-.075.36L7 6.21h-.715l-.131-.137c0-.263.046-.514.148-.748.103-.229.24-.435.412-.606.177-.177.383-.32.611-.417a1.883 1.883 0 0 1 1.503 0c.229.103.434.24.606.417zM7.57 9.646l.143-.143h.714l.143.143v.714l-.143.143h-.714l-.143-.143v-.714z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/workspace-untrusted.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path d="M8.067 0c.263 0 .52.017.76.057a4.1 4.1 0 0 1 .697.154c.229.069.452.155.675.263.217.103.44.229.662.366a7.2 7.2 0 0 0 1.126.589 7.534 7.534 0 0 0 2.332.525c.405.029.822.046 1.257.046v4c0 .76-.097 1.48-.292 2.166a8.996 8.996 0 0 1-.788 1.943 10.306 10.306 0 0 1-1.189 1.725 15.082 15.082 0 0 1-1.491 1.532 17.57 17.57 0 0 1-1.703 1.325c-.594.412-1.194.795-1.794 1.143l-.24.143-.24-.143a27.088 27.088 0 0 1-1.806-1.143 15.579 15.579 0 0 1-1.703-1.325 15.08 15.08 0 0 1-1.491-1.532 10.948 10.948 0 0 1-1.195-1.725 9.753 9.753 0 0 1-.788-1.943A7.897 7.897 0 0 1 .57 6V2c.434 0 .851-.017 1.257-.046a8.16 8.16 0 0 0 1.189-.171c.383-.086.765-.2 1.143-.354a6.563 6.563 0 0 0 1.12-.583C5.719.56 6.164.349 6.604.21A4.79 4.79 0 0 1 8.067 0zm6.503 2.983a9.567 9.567 0 0 1-2.234-.377 7.96 7.96 0 0 1-2.046-.943 4.264 4.264 0 0 0-1.063-.503A3.885 3.885 0 0 0 8.073.994a3.99 3.99 0 0 0-1.166.166 3.946 3.946 0 0 0-1.057.503 7.927 7.927 0 0 1-2.051.948c-.709.206-1.452.332-2.229.378v3.017c0 .663.086 1.297.257 1.908a8.58 8.58 0 0 0 .72 1.743 9.604 9.604 0 0 0 1.08 1.572c.417.491.863.948 1.343 1.382.48.435.983.835 1.509 1.206.531.372 1.062.709 1.594 1.017a22.4 22.4 0 0 0 1.588-1.017 15.384 15.384 0 0 0 1.515-1.206c.48-.434.925-.891 1.343-1.382a9.609 9.609 0 0 0 1.08-1.572 8.269 8.269 0 0 0 .708-1.743 6.814 6.814 0 0 0 .263-1.908V2.983z"/><path d="M10.787 5.446l-.4-.406h-.206L8.2 7.023 6.216 5.04h-.2l-.406.406v.2l1.983 1.983L5.61 9.61v.206l.406.4h.2l1.983-1.983 1.982 1.983h.206l.4-.4V9.61L8.804 7.63l1.983-1.983v-.2z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/zoom-in.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M12.027 6.149a5.52 5.52 0 0 1-1.27 3.908l4.26 4.26-.7.71-4.26-4.27a5.52 5.52 0 1 1 1.97-4.608zm-5.45 4.888a4.51 4.51 0 0 0 3.18-1.32l-.04.02a4.51 4.51 0 0 0 1.36-3.2 4.5 4.5 0 1 0-4.5 4.5zm2.44-4v-1h-2v-2h-1v2h-2v1h2v2h1v-2h2z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/icons/zoom-out.svg

@@ -1 +0,0 @@
-<svg width="16" height="16" viewBox="0 0 16 16" xmlns="http://www.w3.org/2000/svg" fill="currentColor"><path fill-rule="evenodd" clip-rule="evenodd" d="M12.027 6.149a5.52 5.52 0 0 1-1.27 3.908l4.26 4.26-.7.71-4.26-4.27a5.52 5.52 0 1 1 1.97-4.608zm-5.45 4.888a4.51 4.51 0 0 0 3.18-1.32l-.04.02a4.51 4.51 0 0 0 1.36-3.2 4.5 4.5 0 1 0-4.5 4.5zm-2.54-4.98h5v1h-5v-1z"/></svg>

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/src/template/mapping.json

@@ -1,571 +0,0 @@
-{
-  "add": 60000,
-  "plus": 60000,
-  "gist-new": 60000,
-  "repo-create": 60000,
-  "lightbulb": 60001,
-  "light-bulb": 60001,
-  "repo": 60002,
-  "repo-delete": 60002,
-  "gist-fork": 60003,
-  "repo-forked": 60003,
-  "git-pull-request": 60004,
-  "git-pull-request-abandoned": 60004,
-  "record-keys": 60005,
-  "keyboard": 60005,
-  "tag": 60006,
-  "git-pull-request-label": 60006,
-  "tag-add": 60006,
-  "tag-remove": 60006,
-  "person": 60007,
-  "person-follow": 60007,
-  "person-outline": 60007,
-  "person-filled": 60007,
-  "git-branch": 60008,
-  "git-branch-create": 60008,
-  "git-branch-delete": 60008,
-  "source-control": 60008,
-  "mirror": 60009,
-  "mirror-public": 60009,
-  "star": 60010,
-  "star-add": 60010,
-  "star-delete": 60010,
-  "star-empty": 60010,
-  "comment": 60011,
-  "comment-add": 60011,
-  "alert": 60012,
-  "warning": 60012,
-  "search": 60013,
-  "search-save": 60013,
-  "log-out": 60014,
-  "sign-out": 60014,
-  "log-in": 60015,
-  "sign-in": 60015,
-  "eye": 60016,
-  "eye-unwatch": 60016,
-  "eye-watch": 60016,
-  "circle-filled": 60017,
-  "primitive-dot": 60017,
-  "close-dirty": 60017,
-  "debug-breakpoint": 60017,
-  "debug-breakpoint-disabled": 60017,
-  "debug-hint": 60017,
-  "terminal-decoration-success": 60017,
-  "primitive-square": 60018,
-  "edit": 60019,
-  "pencil": 60019,
-  "info": 60020,
-  "issue-opened": 60020,
-  "gist-private": 60021,
-  "git-fork-private": 60021,
-  "lock": 60021,
-  "mirror-private": 60021,
-  "close": 60022,
-  "remove-close": 60022,
-  "x": 60022,
-  "repo-sync": 60023,
-  "sync": 60023,
-  "clone": 60024,
-  "desktop-download": 60024,
-  "beaker": 60025,
-  "microscope": 60025,
-  "vm": 60026,
-  "device-desktop": 60026,
-  "file": 60027,
-  "file-text": 60027,
-  "more": 60028,
-  "ellipsis": 60028,
-  "kebab-horizontal": 60028,
-  "mail-reply": 60029,
-  "reply": 60029,
-  "organization": 60030,
-  "organization-filled": 60030,
-  "organization-outline": 60030,
-  "new-file": 60031,
-  "file-add": 60031,
-  "new-folder": 60032,
-  "file-directory-create": 60032,
-  "trash": 60033,
-  "trashcan": 60033,
-  "history": 60034,
-  "clock": 60034,
-  "folder": 60035,
-  "file-directory": 60035,
-  "symbol-folder": 60035,
-  "logo-github": 60036,
-  "mark-github": 60036,
-  "github": 60036,
-  "terminal": 60037,
-  "console": 60037,
-  "repl": 60037,
-  "zap": 60038,
-  "symbol-event": 60038,
-  "error": 60039,
-  "stop": 60039,
-  "variable": 60040,
-  "symbol-variable": 60040,
-  "array": 60042,
-  "symbol-array": 60042,
-  "symbol-module": 60043,
-  "symbol-package": 60043,
-  "symbol-namespace": 60043,
-  "symbol-object": 60043,
-  "symbol-method": 60044,
-  "symbol-function": 60044,
-  "symbol-constructor": 60044,
-  "symbol-boolean": 60047,
-  "symbol-null": 60047,
-  "symbol-numeric": 60048,
-  "symbol-number": 60048,
-  "symbol-structure": 60049,
-  "symbol-struct": 60049,
-  "symbol-parameter": 60050,
-  "symbol-type-parameter": 60050,
-  "symbol-key": 60051,
-  "symbol-text": 60051,
-  "symbol-reference": 60052,
-  "go-to-file": 60052,
-  "symbol-enum": 60053,
-  "symbol-value": 60053,
-  "symbol-ruler": 60054,
-  "symbol-unit": 60054,
-  "activate-breakpoints": 60055,
-  "archive": 60056,
-  "arrow-both": 60057,
-  "arrow-down": 60058,
-  "arrow-left": 60059,
-  "arrow-right": 60060,
-  "arrow-small-down": 60061,
-  "arrow-small-left": 60062,
-  "arrow-small-right": 60063,
-  "arrow-small-up": 60064,
-  "arrow-up": 60065,
-  "bell": 60066,
-  "bold": 60067,
-  "book": 60068,
-  "bookmark": 60069,
-  "debug-breakpoint-conditional-unverified": 60070,
-  "debug-breakpoint-conditional": 60071,
-  "debug-breakpoint-conditional-disabled": 60071,
-  "debug-breakpoint-data-unverified": 60072,
-  "debug-breakpoint-data": 60073,
-  "debug-breakpoint-data-disabled": 60073,
-  "debug-breakpoint-log-unverified": 60074,
-  "debug-breakpoint-log": 60075,
-  "debug-breakpoint-log-disabled": 60075,
-  "briefcase": 60076,
-  "broadcast": 60077,
-  "browser": 60078,
-  "bug": 60079,
-  "calendar": 60080,
-  "case-sensitive": 60081,
-  "check": 60082,
-  "checklist": 60083,
-  "chevron-down": 60084,
-  "chevron-left": 60085,
-  "chevron-right": 60086,
-  "chevron-up": 60087,
-  "chrome-close": 60088,
-  "chrome-maximize": 60089,
-  "chrome-minimize": 60090,
-  "chrome-restore": 60091,
-  "circle-outline": 60092,
-  "circle": 60092,
-  "debug-breakpoint-unverified": 60092,
-  "terminal-decoration-incomplete": 60092,
-  "circle-slash": 60093,
-  "circuit-board": 60094,
-  "clear-all": 60095,
-  "clippy": 60096,
-  "close-all": 60097,
-  "cloud-download": 60098,
-  "cloud-upload": 60099,
-  "code": 60100,
-  "collapse-all": 60101,
-  "color-mode": 60102,
-  "comment-discussion": 60103,
-  "credit-card": 60105,
-  "dash": 60108,
-  "dashboard": 60109,
-  "database": 60110,
-  "debug-continue": 60111,
-  "debug-disconnect": 60112,
-  "debug-pause": 60113,
-  "debug-restart": 60114,
-  "debug-start": 60115,
-  "debug-step-into": 60116,
-  "debug-step-out": 60117,
-  "debug-step-over": 60118,
-  "debug-stop": 60119,
-  "debug": 60120,
-  "device-camera-video": 60121,
-  "device-camera": 60122,
-  "device-mobile": 60123,
-  "diff-added": 60124,
-  "diff-ignored": 60125,
-  "diff-modified": 60126,
-  "diff-removed": 60127,
-  "diff-renamed": 60128,
-  "diff": 60129,
-  "diff-sidebyside": 60129,
-  "discard": 60130,
-  "editor-layout": 60131,
-  "empty-window": 60132,
-  "exclude": 60133,
-  "extensions": 60134,
-  "eye-closed": 60135,
-  "file-binary": 60136,
-  "file-code": 60137,
-  "file-media": 60138,
-  "file-pdf": 60139,
-  "file-submodule": 60140,
-  "file-symlink-directory": 60141,
-  "file-symlink-file": 60142,
-  "file-zip": 60143,
-  "files": 60144,
-  "filter": 60145,
-  "flame": 60146,
-  "fold-down": 60147,
-  "fold-up": 60148,
-  "fold": 60149,
-  "folder-active": 60150,
-  "folder-opened": 60151,
-  "gear": 60152,
-  "gift": 60153,
-  "gist-secret": 60154,
-  "gist": 60155,
-  "git-commit": 60156,
-  "git-compare": 60157,
-  "compare-changes": 60157,
-  "git-merge": 60158,
-  "github-action": 60159,
-  "github-alt": 60160,
-  "globe": 60161,
-  "grabber": 60162,
-  "graph": 60163,
-  "gripper": 60164,
-  "heart": 60165,
-  "home": 60166,
-  "horizontal-rule": 60167,
-  "hubot": 60168,
-  "inbox": 60169,
-  "issue-reopened": 60171,
-  "issues": 60172,
-  "italic": 60173,
-  "jersey": 60174,
-  "json": 60175,
-  "kebab-vertical": 60176,
-  "key": 60177,
-  "law": 60178,
-  "lightbulb-autofix": 60179,
-  "link-external": 60180,
-  "link": 60181,
-  "list-ordered": 60182,
-  "list-unordered": 60183,
-  "live-share": 60184,
-  "loading": 60185,
-  "location": 60186,
-  "mail-read": 60187,
-  "mail": 60188,
-  "markdown": 60189,
-  "megaphone": 60190,
-  "mention": 60191,
-  "milestone": 60192,
-  "git-pull-request-milestone": 60192,
-  "mortar-board": 60193,
-  "move": 60194,
-  "multiple-windows": 60195,
-  "mute": 60196,
-  "no-newline": 60197,
-  "note": 60198,
-  "octoface": 60199,
-  "open-preview": 60200,
-  "package": 60201,
-  "paintcan": 60202,
-  "pin": 60203,
-  "play": 60204,
-  "run": 60204,
-  "plug": 60205,
-  "preserve-case": 60206,
-  "preview": 60207,
-  "project": 60208,
-  "pulse": 60209,
-  "question": 60210,
-  "quote": 60211,
-  "radio-tower": 60212,
-  "reactions": 60213,
-  "references": 60214,
-  "refresh": 60215,
-  "regex": 60216,
-  "remote-explorer": 60217,
-  "remote": 60218,
-  "remove": 60219,
-  "replace-all": 60220,
-  "replace": 60221,
-  "repo-clone": 60222,
-  "repo-force-push": 60223,
-  "repo-pull": 60224,
-  "repo-push": 60225,
-  "report": 60226,
-  "request-changes": 60227,
-  "rocket": 60228,
-  "root-folder-opened": 60229,
-  "root-folder": 60230,
-  "rss": 60231,
-  "ruby": 60232,
-  "save-all": 60233,
-  "save-as": 60234,
-  "save": 60235,
-  "screen-full": 60236,
-  "screen-normal": 60237,
-  "search-stop": 60238,
-  "server": 60240,
-  "settings-gear": 60241,
-  "settings": 60242,
-  "shield": 60243,
-  "smiley": 60244,
-  "sort-precedence": 60245,
-  "split-horizontal": 60246,
-  "split-vertical": 60247,
-  "squirrel": 60248,
-  "star-full": 60249,
-  "star-half": 60250,
-  "symbol-class": 60251,
-  "symbol-color": 60252,
-  "symbol-constant": 60253,
-  "symbol-enum-member": 60254,
-  "symbol-field": 60255,
-  "symbol-file": 60256,
-  "symbol-interface": 60257,
-  "symbol-keyword": 60258,
-  "symbol-misc": 60259,
-  "symbol-operator": 60260,
-  "symbol-property": 60261,
-  "wrench": 60261,
-  "wrench-subaction": 60261,
-  "symbol-snippet": 60262,
-  "tasklist": 60263,
-  "telescope": 60264,
-  "text-size": 60265,
-  "three-bars": 60266,
-  "thumbsdown": 60267,
-  "thumbsup": 60268,
-  "tools": 60269,
-  "triangle-down": 60270,
-  "triangle-left": 60271,
-  "triangle-right": 60272,
-  "triangle-up": 60273,
-  "twitter": 60274,
-  "unfold": 60275,
-  "unlock": 60276,
-  "unmute": 60277,
-  "unverified": 60278,
-  "verified": 60279,
-  "versions": 60280,
-  "vm-active": 60281,
-  "vm-outline": 60282,
-  "vm-running": 60283,
-  "watch": 60284,
-  "whitespace": 60285,
-  "whole-word": 60286,
-  "window": 60287,
-  "word-wrap": 60288,
-  "zoom-in": 60289,
-  "zoom-out": 60290,
-  "list-filter": 60291,
-  "list-flat": 60292,
-  "list-selection": 60293,
-  "selection": 60293,
-  "list-tree": 60294,
-  "debug-breakpoint-function-unverified": 60295,
-  "debug-breakpoint-function": 60296,
-  "debug-breakpoint-function-disabled": 60296,
-  "debug-stackframe-active": 60297,
-  "circle-small-filled": 60298,
-  "debug-stackframe-dot": 60298,
-  "terminal-decoration-mark": 60298,
-  "debug-stackframe": 60299,
-  "debug-stackframe-focused": 60299,
-  "debug-breakpoint-unsupported": 60300,
-  "symbol-string": 60301,
-  "debug-reverse-continue": 60302,
-  "debug-step-back": 60303,
-  "debug-restart-frame": 60304,
-  "debug-alt": 60305,
-  "call-incoming": 60306,
-  "call-outgoing": 60307,
-  "menu": 60308,
-  "expand-all": 60309,
-  "feedback": 60310,
-  "git-pull-request-reviewer": 60310,
-  "group-by-ref-type": 60311,
-  "ungroup-by-ref-type": 60312,
-  "account": 60313,
-  "git-pull-request-assignee": 60313,
-  "bell-dot": 60314,
-  "debug-console": 60315,
-  "library": 60316,
-  "output": 60317,
-  "run-all": 60318,
-  "sync-ignored": 60319,
-  "pinned": 60320,
-  "github-inverted": 60321,
-  "server-process": 60322,
-  "server-environment": 60323,
-  "pass": 60324,
-  "issue-closed": 60324,
-  "stop-circle": 60325,
-  "play-circle": 60326,
-  "record": 60327,
-  "debug-alt-small": 60328,
-  "vm-connect": 60329,
-  "cloud": 60330,
-  "merge": 60331,
-  "export": 60332,
-  "graph-left": 60333,
-  "magnet": 60334,
-  "notebook": 60335,
-  "redo": 60336,
-  "check-all": 60337,
-  "pinned-dirty": 60338,
-  "pass-filled": 60339,
-  "circle-large-filled": 60340,
-  "circle-large": 60341,
-  "circle-large-outline": 60341,
-  "combine": 60342,
-  "gather": 60342,
-  "table": 60343,
-  "variable-group": 60344,
-  "type-hierarchy": 60345,
-  "type-hierarchy-sub": 60346,
-  "type-hierarchy-super": 60347,
-  "git-pull-request-create": 60348,
-  "run-above": 60349,
-  "run-below": 60350,
-  "notebook-template": 60351,
-  "debug-rerun": 60352,
-  "workspace-trusted": 60353,
-  "workspace-untrusted": 60354,
-  "workspace-unknown": 60355,
-  "terminal-cmd": 60356,
-  "terminal-debian": 60357,
-  "terminal-linux": 60358,
-  "terminal-powershell": 60359,
-  "terminal-tmux": 60360,
-  "terminal-ubuntu": 60361,
-  "terminal-bash": 60362,
-  "arrow-swap": 60363,
-  "copy": 60364,
-  "person-add": 60365,
-  "filter-filled": 60366,
-  "wand": 60367,
-  "debug-line-by-line": 60368,
-  "inspect": 60369,
-  "layers": 60370,
-  "layers-dot": 60371,
-  "layers-active": 60372,
-  "compass": 60373,
-  "compass-dot": 60374,
-  "compass-active": 60375,
-  "azure": 60376,
-  "issue-draft": 60377,
-  "git-pull-request-closed": 60378,
-  "git-pull-request-draft": 60379,
-  "debug-all": 60380,
-  "debug-coverage": 60381,
-  "run-errors": 60382,
-  "folder-library": 60383,
-  "debug-continue-small": 60384,
-  "beaker-stop": 60385,
-  "graph-line": 60386,
-  "graph-scatter": 60387,
-  "pie-chart": 60388,
-  "bracket": 60175,
-  "bracket-dot": 60389,
-  "bracket-error": 60390,
-  "lock-small": 60391,
-  "azure-devops": 60392,
-  "verified-filled": 60393,
-  "newline": 60394,
-  "layout": 60395,
-  "layout-activitybar-left": 60396,
-  "layout-activitybar-right": 60397,
-  "layout-panel-left": 60398,
-  "layout-panel-center": 60399,
-  "layout-panel-justify": 60400,
-  "layout-panel-right": 60401,
-  "layout-panel": 60402,
-  "layout-sidebar-left": 60403,
-  "layout-sidebar-right": 60404,
-  "layout-statusbar": 60405,
-  "layout-menubar": 60406,
-  "layout-centered": 60407,
-  "target": 60408,
-  "indent": 60409,
-  "record-small": 60410,
-  "error-small": 60411,
-  "terminal-decoration-error": 60411,
-  "arrow-circle-down": 60412,
-  "arrow-circle-left": 60413,
-  "arrow-circle-right": 60414,
-  "arrow-circle-up": 60415,
-  "layout-sidebar-right-off": 60416,
-  "layout-panel-off": 60417,
-  "layout-sidebar-left-off": 60418,
-  "blank": 60419,
-  "heart-filled": 60420,
-  "map": 60421,
-  "map-horizontal": 60421,
-  "fold-horizontal": 60421,
-  "map-filled": 60422,
-  "map-horizontal-filled": 60422,
-  "fold-horizontal-filled": 60422,
-  "circle-small": 60423,
-  "bell-slash": 60424,
-  "bell-slash-dot": 60425,
-  "comment-unresolved": 60426,
-  "git-pull-request-go-to-changes": 60427,
-  "git-pull-request-new-changes": 60428,
-  "search-fuzzy": 60429,
-  "comment-draft": 60430,
-  "send": 60431,
-  "sparkle": 60432,
-  "insert": 60433,
-  "mic": 60434,
-  "thumbsdown-filled": 60435,
-  "thumbsup-filled": 60436,
-  "coffee": 60437,
-  "snake": 60438,
-  "game": 60439,
-  "vr": 60440,
-  "chip": 60441,
-  "piano": 60442,
-  "music": 60443,
-  "mic-filled": 60444,
-  "repo-fetch": 60445,
-  "copilot": 60446,
-  "lightbulb-sparkle": 60447,
-  "robot": 60448,
-  "sparkle-filled": 60449,
-  "diff-single": 60450,
-  "diff-multiple": 60451,
-  "surround-with": 60452,
-  "share": 60453,
-  "git-stash": 60454,
-  "git-stash-apply": 60455,
-  "git-stash-pop": 60456,
-  "vscode": 60457,
-  "vscode-insiders": 60458,
-  "code-oss": 60459,
-  "run-coverage": 60460,
-  "run-all-coverage": 60461,
-  "coverage": 60462,
-  "github-project": 60463,
-  "map-vertical": 60464,
-  "fold-vertical": 60464,
-  "map-vertical-filled": 60465,
-  "fold-vertical-filled": 60465,
-  "go-to-search": 60466,
-  "percentage": 60467,
-  "sort-percentage": 60467
-}

package/dist/vscode-lean4/vscode-lean4/node_modules/glob/dist/commonjs/package.json

@@ -1,3 +0,0 @@
-{
-  "type": "commonjs"
-}

package/dist/vscode-lean4/vscode-lean4/node_modules/glob/dist/esm/package.json

@@ -1,3 +0,0 @@
-{
-  "type": "module"
-}