lean4monaco 1.0.45 → 1.1.0

package/dist/vscode-lean4/lean4-unicode-input/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input",
-    "version": "0.1.0",
+    "version": "0.1.4",
     "description": "Unicode input mechanism for the Lean 4 theorem prover",
     "scripts": {
         "watch": "tsc --watch",

package/dist/vscode-lean4/lean4-unicode-input/src/abbreviations.json

@@ -9,6 +9,7 @@
     "()": "($CURSOR)",
     "()_": "($CURSOR)_",
     "([])'": "⟮$CURSOR⟯",
+    "(())": "⸨$CURSOR⸩",
     "f<>": "‹$CURSOR›",
     "f<<>>": "«$CURSOR»",
     "[--]": "⁅$CURSOR⁆",
@@ -18,6 +19,8 @@
     "ceil": "⌈$CURSOR⌉",
     "nfloor": "⌊$CURSOR⌋₊",
     "nceil": "⌈$CURSOR⌉₊",
+    "s[]": "⦋$CURSOR⦌",
+    "simplex": "⦋$CURSOR⦌",
     "\\": "\\",
     "a": "α",
     "b": "β",
@@ -418,7 +421,6 @@
     "tau": "τ",
     "top": "⊤",
     "to": "→",
-
     "to0": "→₀",
     "r0": "→₀",
     "to_0": "→₀",
@@ -466,7 +468,6 @@
     "heyting": "⇨",
     "himp": "⇨",
     "hnot": "￢",
-
     "covers": "⋖",
     "covby": "⋖",
     "wcovby": "⩿",
@@ -578,7 +579,6 @@
     "pitchfork": "⋔",
     "psi": "ψ",
     "phi": "φ",
-    "8<": "✂",
     "leqn": "≰",
     "leqq": "≦",
     "leqslant": "≤",
@@ -709,6 +709,7 @@
     ">~": "≳",
     ">>": "⟫",
     "root": "√",
+    "scissor": "✂",
     "ssubn": "⊄",
     "ssub": "⊂",
     "ssupn": "⊅",
@@ -1119,7 +1120,6 @@
     "rrbracket": "〛",
     "rangle": "⟩",
     "rq": "’",
-    "rial": "﷼",
     "rightarrowtail": "↣",
     "rightarrow": "→",
     "rightharpoondown": "⇁",
@@ -1179,6 +1179,8 @@
     "]]": "⟧",
     "{{": "⦃",
     "}}": "⦄",
+    "((": "⸨",
+    "))": "⸩",
     "([": "⟮",
     "])": "⟯",
     "Xi": "Ξ",
@@ -1381,12 +1383,10 @@
     "Psi": "Ψ",
     "Phi": "Φ",
     "Pi": "Π",
-
     "Pi0": "Π₀",
     "P0": "Π₀",
     "Pi_0": "Π₀",
     "P_0": "Π₀",
-
     "bfA": "𝐀",
     "bfB": "𝐁",
     "bfC": "𝐂",
@@ -1413,7 +1413,6 @@
     "bfX": "𝐗",
     "bfY": "𝐘",
     "bfZ": "𝐙",
-
     "bfa": "𝐚",
     "bfb": "𝐛",
     "bfc": "𝐜",
@@ -1440,7 +1439,6 @@
     "bfx": "𝐱",
     "bfy": "𝐲",
     "bfz": "𝐳",
-
     "MiA": "𝐴",
     "MiB": "𝐵",
     "MiC": "𝐶",
@@ -1700,7 +1698,6 @@
     "Mfx": "𝔵",
     "Mfy": "𝔶",
     "Mfz": "𝔷",
-
     "yen": "¥",
     "varrho": "ϱ",
     "varkappa": "ϰ",
@@ -1750,7 +1747,6 @@
     "Beta": "Β",
     "Box": "□",
     "Bumpeq": "≎",
-
     "bbA": "𝔸",
     "bbB": "𝔹",
     "bbC": "ℂ",
@@ -1803,7 +1799,6 @@
     "bbx": "𝕩",
     "bby": "𝕪",
     "bbz": "𝕫",
-
     "Rge0": "ℝ≥0",
     "R>=0": "ℝ≥0",
     "nnreal": "ℝ≥0",
@@ -1816,12 +1811,15 @@
     "lier": "⁆",
     "[-": "⁅",
     "-]": "⁆",
+    "lsimplex": "⦋",
+    "rsimplex": "⦌",
     "bracketr": "⁆",
     "nhds": "𝓝",
     "nbhds": "𝓝",
     "X": "⨯",
     "vectorproduct": "⨯",
     "crossproduct": "⨯",
+    "xs": "×ˢ",
     "coprod": "⨿",
     "sigmaobj": "∐",
     "xf": "×ᶠ",
@@ -1832,5 +1830,7 @@
     "goal": "⊢",
     "Vdash": "⊩",
     "Vert": "‖",
-    "Vvdash": "⊪"
+    "Vvdash": "⊪",
+    "tiny": "⧾",
+    "miny": "⧿"
 }

package/dist/vscode-lean4/lean4-unicode-input-component/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/unicode-input-component",
-    "version": "0.1.0",
+    "version": "0.1.4",
     "description": "Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover",
     "scripts": {
         "watch": "tsc --watch",
@@ -14,7 +14,7 @@
     ],
     "license": "Apache-2.0",
     "dependencies": {
-        "@leanprover/unicode-input": "~0.1.0"
+        "@leanprover/unicode-input": "^0.1.4"
     },
     "devDependencies": {
         "typescript": "^5.4.5"