npm - lean4monaco - Versions diffs - 1.0.46 → 1.1.0 - Mend

lean4monaco 1.0.46 → 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 (209) hide show

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-l-passthrough-light.svg ADDED Viewed

@@ -0,0 +1,158 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-checkmark-l-passthrough-light.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="64"
+     inkscape:cx="7.6640625"
+     inkscape:cy="5.1640625"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.30379"
+     id="rect1-7"
+     width="1"
+     height="2.3373294"
+     x="7.5"
+     y="-0.082031257"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="2.7204794"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,0.88680072)" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.45406"
+     id="rect3"
+     width="5.2857399"
+     height="1"
+     x="11.357333"
+     y="7.5"
+     clip-path="url(#clipPath5)"
+     transform="matrix(0.43078689,0,0,1,9.1074098,0)" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 16.211845,3.8542521 -7.8050002,9.2139999 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 7.4190002,-8.7589999 z"
+     id="path1"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="fill:#1a85ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 7.8258448,9.0322521 4.3860002,-5.178 -0.703,-0.596 -4.2300002,4.994 z m -1.55,0.403 0.548,0.7799999 -0.547,-0.7799999 z m -1.617,1.9099999 0.547,0.78 -0.799,0.943 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 0.57,-0.672 z"
+     id="path2"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="stroke:none;fill:#1a85ff;fill-opacity:1" />
+</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-light.svg ADDED Viewed

@@ -0,0 +1,138 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-checkmark-light.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="64"
+     inkscape:cx="7.6640625"
+     inkscape:cy="5.1640625"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 16.211845,3.8542521 -7.8050002,9.2139999 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 7.4190002,-8.7589999 z"
+     id="path1"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="fill:#1a85ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 7.8258448,9.0322521 4.3860002,-5.178 -0.703,-0.596 -4.2300002,4.994 z m -1.55,0.403 0.548,0.7799999 -0.547,-0.7799999 z m -1.617,1.9099999 0.547,0.78 -0.799,0.943 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 0.57,-0.672 z"
+     id="path2"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="stroke:none;fill:#1a85ff;fill-opacity:1" />
+</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-dark.svg ADDED Viewed

@@ -0,0 +1,169 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-checkmark-t-passthrough-dark.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="64"
+     inkscape:cx="7.6640625"
+     inkscape:cy="5.1640625"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <rect
+     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.30379"
+     id="rect1-7"
+     width="1"
+     height="2.3373294"
+     x="7.5"
+     y="-0.082031257"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="2.7204794"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,0.88680072)" />
+  <rect
+     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.45406"
+     id="rect3"
+     width="5.2857399"
+     height="1"
+     x="11.357333"
+     y="7.5"
+     clip-path="url(#clipPath5)"
+     transform="matrix(0.43078689,0,0,1,9.1074098,0)" />
+  <rect
+     style="fill:#f14c4c;fill-opacity:1;stroke-width:1.6605"
+     id="rect1"
+     width="1"
+     height="3.7912476"
+     x="7.5"
+     y="13.002536"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="3.3201495"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,0.66723066,0,5.3243094)" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 16.211845,3.8542521 -7.8050002,9.2139999 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 7.4190002,-8.7589999 z"
+     id="path1"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="fill:#3794ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 7.8258448,9.0322521 4.3860002,-5.178 -0.703,-0.596 -4.2300002,4.994 z m -1.55,0.403 0.548,0.7799999 -0.547,-0.7799999 z m -1.617,1.9099999 0.547,0.78 -0.799,0.943 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 0.57,-0.672 z"
+     id="path2"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="stroke:none;fill:#3794ff;fill-opacity:1" />
+</svg>

package/dist/vscode-lean4/vscode-lean4/media/diagnostic-gutter-icons/goals-accomplished-checkmark-t-passthrough-light.svg ADDED Viewed

@@ -0,0 +1,169 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   width="16"
+   height="16"
+   viewBox="0 0 16 16"
+   fill="currentColor"
+   version="1.1"
+   id="svg1"
+   sodipodi:docname="goals-accomplished-checkmark-t-passthrough-light.svg"
+   inkscape:version="1.4 (e7c3feb100, 2024-10-09)"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:svg="http://www.w3.org/2000/svg">
+  <defs
+     id="defs1">
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath2">
+      <rect
+         style="fill:none"
+         id="rect4"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath4">
+      <rect
+         style="fill:none"
+         id="rect5"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath5">
+      <rect
+         style="fill:none"
+         id="rect6"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath6">
+      <rect
+         style="fill:none"
+         id="rect7"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath15">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect15"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath14">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect14"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath13">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect13"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+    <clipPath
+       clipPathUnits="userSpaceOnUse"
+       id="clipPath12">
+      <rect
+         style="display:inline;fill:none;stroke-width:1.00098"
+         id="rect12"
+         width="16"
+         height="16"
+         x="0"
+         y="0" />
+    </clipPath>
+  </defs>
+  <sodipodi:namedview
+     id="namedview1"
+     pagecolor="#ffffff"
+     bordercolor="#000000"
+     borderopacity="0.25"
+     inkscape:showpageshadow="2"
+     inkscape:pageopacity="0.0"
+     inkscape:pagecheckerboard="0"
+     inkscape:deskcolor="#d1d1d1"
+     inkscape:zoom="64"
+     inkscape:cx="7.6640625"
+     inkscape:cy="5.1640625"
+     inkscape:window-width="1918"
+     inkscape:window-height="2128"
+     inkscape:window-x="0"
+     inkscape:window-y="0"
+     inkscape:window-maximized="0"
+     inkscape:current-layer="svg1" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.30379"
+     id="rect1-7"
+     width="1"
+     height="2.3373294"
+     x="7.5"
+     y="-0.082031257"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="2.7204794"
+     clip-path="url(#clipPath6)"
+     transform="scale(1,0.88680072)" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.45406"
+     id="rect3"
+     width="5.2857399"
+     height="1"
+     x="11.357333"
+     y="7.5"
+     clip-path="url(#clipPath5)"
+     transform="matrix(0.43078689,0,0,1,9.1074098,0)" />
+  <rect
+     style="fill:#e51400;fill-opacity:1;stroke-width:1.6605"
+     id="rect1"
+     width="1"
+     height="3.7912476"
+     x="7.5"
+     y="13.002536"
+     inkscape:transform-center-x="-0.3125"
+     inkscape:transform-center-y="3.3201495"
+     clip-path="url(#clipPath4)"
+     transform="matrix(1,0,0,0.66723066,0,5.3243094)" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 16.211845,3.8542521 -7.8050002,9.2139999 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 7.4190002,-8.7589999 z"
+     id="path1"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="fill:#1a85ff;fill-opacity:1" />
+  <path
+     fill-rule="evenodd"
+     clip-rule="evenodd"
+     d="m 7.8258448,9.0322521 4.3860002,-5.178 -0.703,-0.596 -4.2300002,4.994 z m -1.55,0.403 0.548,0.7799999 -0.547,-0.7799999 z m -1.617,1.9099999 0.547,0.78 -0.799,0.943 -0.728,-0.033 -3.087,-4.3949999 0.754,-0.53 2.744,3.9069999 0.57,-0.672 z"
+     id="path2"
+     transform="translate(-0.4018449,-0.16325205)"
+     style="stroke:none;fill:#1a85ff;fill-opacity:1" />
+</svg>