lean4monaco 1.0.46 → 1.1.0

package/dist/vscode-lean4/lean4-infoview/src/infoview/highlightjs.css

@@ -0,0 +1,210 @@
+/*
+This file contains syntax highlighting themes for highlight.js,
+taken from https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github.css (light)
+and https://unpkg.com/browse/@highlightjs/cdn-assets@11.10.0/styles/github-dark.css (dark)
+
+Unfortunately there is no way to retrieve theme colors from VSCode:
+https://github.com/Microsoft/vscode/issues/32813
+*/
+
+pre code.hljs {
+    display: block;
+}
+
+/*!
+  Theme: GitHub
+  Description: Light theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+
+  Outdated base version: https://github.com/primer/github-syntax-light
+  Current colors taken from GitHub's CSS
+*/
+
+.hljs-doctag,
+.hljs-keyword,
+.hljs-meta .hljs-keyword,
+.hljs-template-tag,
+.hljs-template-variable,
+.hljs-type,
+.hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #d73a49;
+}
+.hljs-title,
+.hljs-title.class_,
+.hljs-title.class_.inherited__,
+.hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #6f42c1;
+}
+.hljs-attr,
+.hljs-attribute,
+.hljs-literal,
+.hljs-meta,
+.hljs-number,
+.hljs-operator,
+.hljs-variable,
+.hljs-selector-attr,
+.hljs-selector-class,
+.hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #005cc5;
+}
+.hljs-regexp,
+.hljs-string,
+.hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #032f62;
+}
+.hljs-built_in,
+.hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #e36209;
+}
+.hljs-comment,
+.hljs-code,
+.hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #6a737d;
+}
+.hljs-name,
+.hljs-quote,
+.hljs-selector-tag,
+.hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #22863a;
+}
+.hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #24292e;
+}
+.hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #005cc5;
+    font-weight: bold;
+}
+.hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #735c0f;
+}
+.hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #24292e;
+    font-style: italic;
+}
+.hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #24292e;
+    font-weight: bold;
+}
+.hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #22863a;
+    background-color: #f0fff4;
+}
+.hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #b31d28;
+    background-color: #ffeef0;
+}
+
+/*!
+  Theme: GitHub Dark
+  Description: Dark theme as seen on github.com
+  Author: github.com
+  Maintainer: @Hirse
+  Updated: 2021-05-15
+
+  Outdated base version: https://github.com/primer/github-syntax-dark
+  Current colors taken from GitHub's CSS
+*/
+
+.vscode-dark .hljs-doctag,
+.vscode-dark .hljs-keyword,
+.vscode-dark .hljs-meta .hljs-keyword,
+.vscode-dark .hljs-template-tag,
+.vscode-dark .hljs-template-variable,
+.vscode-dark .hljs-type,
+.vscode-dark .hljs-variable.language_ {
+    /* prettylights-syntax-keyword */
+    color: #ff7b72;
+}
+.vscode-dark .hljs-title,
+.vscode-dark .hljs-title.class_,
+.vscode-dark .hljs-title.class_.inherited__,
+.vscode-dark .hljs-title.function_ {
+    /* prettylights-syntax-entity */
+    color: #d2a8ff;
+}
+.vscode-dark .hljs-attr,
+.vscode-dark .hljs-attribute,
+.vscode-dark .hljs-literal,
+.vscode-dark .hljs-meta,
+.vscode-dark .hljs-number,
+.vscode-dark .hljs-operator,
+.vscode-dark .hljs-variable,
+.vscode-dark .hljs-selector-attr,
+.vscode-dark .hljs-selector-class,
+.vscode-dark .hljs-selector-id {
+    /* prettylights-syntax-constant */
+    color: #79c0ff;
+}
+.vscode-dark .hljs-regexp,
+.vscode-dark .hljs-string,
+.vscode-dark .hljs-meta .hljs-string {
+    /* prettylights-syntax-string */
+    color: #a5d6ff;
+}
+.vscode-dark .hljs-built_in,
+.vscode-dark .hljs-symbol {
+    /* prettylights-syntax-variable */
+    color: #ffa657;
+}
+.vscode-dark .hljs-comment,
+.vscode-dark .hljs-code,
+.vscode-dark .hljs-formula {
+    /* prettylights-syntax-comment */
+    color: #8b949e;
+}
+.vscode-dark .hljs-name,
+.vscode-dark .hljs-quote,
+.vscode-dark .hljs-selector-tag,
+.vscode-dark .hljs-selector-pseudo {
+    /* prettylights-syntax-entity-tag */
+    color: #7ee787;
+}
+.vscode-dark .hljs-subst {
+    /* prettylights-syntax-storage-modifier-import */
+    color: #c9d1d9;
+}
+.vscode-dark .hljs-section {
+    /* prettylights-syntax-markup-heading */
+    color: #1f6feb;
+    font-weight: bold;
+}
+.vscode-dark .hljs-bullet {
+    /* prettylights-syntax-markup-list */
+    color: #f2cc60;
+}
+.vscode-dark .hljs-emphasis {
+    /* prettylights-syntax-markup-italic */
+    color: #c9d1d9;
+    font-style: italic;
+}
+.vscode-dark .hljs-strong {
+    /* prettylights-syntax-markup-bold */
+    color: #c9d1d9;
+    font-weight: bold;
+}
+.vscode-dark .hljs-addition {
+    /* prettylights-syntax-markup-inserted */
+    color: #aff5b4;
+    background-color: #033a16;
+}
+.vscode-dark .hljs-deletion {
+    /* prettylights-syntax-markup-deleted */
+    color: #ffdcd7;
+    background-color: #67060c;
+}

package/dist/vscode-lean4/lean4-infoview/tsconfig.json

@@ -10,13 +10,17 @@
 
         /* Modules */
         "module": "esnext",
-        "moduleResolution": "node",
+        "moduleResolution": "bundler",
 
-        /* Emit */
+        /* Emit code */
         "sourceMap": true,
         "rootDir": "src",
         "outDir": "dist",
 
+        /* Emit declarations */
+        "declaration": true,
+        "declarationDir": "dist",
+
         /* Interop Constraints */
         "esModuleInterop": true,
         "forceConsistentCasingInFileNames": true,

package/dist/vscode-lean4/lean4-infoview-api/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview-api",
-    "version": "0.4.0",
+    "version": "0.7.0",
     "description": "Types and API for @leanprover/infoview.",
     "scripts": {
         "watch": "tsc --watch",

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"