lean4monaco 1.0.11 → 1.0.13

package/dist/monaco-lean4/package.json

@@ -1,39 +0,0 @@
-{
-    "name": "@leanprover/vscode-lean4-repo",
-    "private": true,
-    "scripts": {
-        "build": "lerna run --stream build",
-        "test": "lerna run --stream test",
-        "watch": "lerna run --parallel --stream watch",
-        "watchTest": "lerna run --parallel --stream watchTest",
-        "lint": "eslint -c .eslintrc.js \"{lean4-infoview-api,lean4-infoview,lean4-unicode-input,lean4-unicode-input-component,vscode-lean4}/src/**/*.{ts,tsx}\" \"vscode-lean4/test/suite/**/*.{ts,tsx}\"",
-        "prepare": "husky install"
-    },
-    "workspaces": [
-        "lean4-infoview-api",
-        "lean4-infoview",
-        "lean4-unicode-input",
-        "lean4-unicode-input-component",
-        "vscode-lean4"
-    ],
-    "devDependencies": {
-        "@typescript-eslint/eslint-plugin": "^7.9.0",
-        "@typescript-eslint/parser": "^7.9.0",
-        "eslint": "^8.45.0",
-        "eslint-config-prettier": "^9.1.0",
-        "eslint-plugin-react-hooks": "^4.6.0",
-        "husky": "^9.0.11",
-        "lerna": "^8.1.2",
-        "lint-staged": "^15.2.2",
-        "prettier": "^3.2.5",
-        "prettier-plugin-organize-imports": "^3.2.4",
-        "typescript": "^5.4.5"
-    },
-    "lint-staged": {
-        "*.{ts,tsx,js}": [
-            "eslint --cache --fix",
-            "prettier --write"
-        ],
-        "*.{json,css}": "prettier --write"
-    }
-}

package/dist/monaco-lean4/vscode-lean4/abbreviationview/tsconfig.json

@@ -1,10 +0,0 @@
-{
-    "extends": "../tsconfig",
-    "compilerOptions": {
-        "strict": true,
-        "lib": ["dom", "es6"],
-        "rootDir": "../",
-        "sourceMap": true
-    },
-    "include": ["./**/*"]
-}

package/dist/monaco-lean4/vscode-lean4/language-configuration.json

@@ -1,157 +0,0 @@
-{
-    "comments": {
-        "lineComment": "--",
-        "blockComment": ["/-", "-/"]
-    },
-    "brackets": [
-        ["(", ")"],
-        ["`(", ")"],
-        ["``(", ")"],
-        ["[", "]"],
-        ["#[", "]"],
-        ["@[", "]"],
-        ["%[", "]"],
-        ["{", "}"],
-        ["⁅", "⁆"],
-        ["⁽", "⁾"],
-        ["₍", "₎"],
-        ["〈", "〉"],
-        ["⟮", "⟯"],
-        ["⎴", "⎵"],
-        ["⟅", "⟆"],
-        ["⟦", "⟧"],
-        ["⟨", "⟩"],
-        ["⟪", "⟫"],
-        ["⦃", "⦄"],
-        ["〈", "〉"],
-        ["《", "》"],
-        ["‹", "›"],
-        ["«", "»"],
-        ["「", "」"],
-        ["『", "』"],
-        ["【", "】"],
-        ["〔", "〕"],
-        ["〖", "〗"],
-        ["〚", "〛"],
-        ["︵", "︶"],
-        ["︷", "︸"],
-        ["︹", "︺"],
-        ["︻", "︼"],
-        ["︽", "︾"],
-        ["︿", "﹀"],
-        ["﹁", "﹂"],
-        ["﹃", "﹄"],
-        ["﹙", "﹚"],
-        ["﹛", "﹜"],
-        ["﹝", "﹞"],
-        ["（", "）"],
-        ["［", "］"],
-        ["｛", "｝"],
-        ["｢", "｣"],
-        ["\"", "\""],
-        ["s!\"", "\""],
-        ["f!\"", "\""],
-        ["m!\"", "\""]
-    ],
-    "autoClosingPairs": [
-        ["(", ")"],
-        ["`(", ")"],
-        ["``(", ")"],
-        ["[", "]"],
-        ["#[", "]"],
-        ["@[", "]"],
-        ["%[", "]"],
-        ["{", "}"],
-        ["⁅", "⁆"],
-        ["⟮", "⟯"],
-        ["⁽", "⁾"],
-        ["₍", "₎"],
-        ["⎴", "⎵"],
-        ["⟅", "⟆"],
-        ["⟦", "⟧"],
-        ["⟨", "⟩"],
-        ["⟪", "⟫"],
-        ["⦃", "⦄"],
-        ["〈", "〉"],
-        ["《", "》"],
-        ["‹", "›"],
-        ["«", "»"],
-        ["「", "」"],
-        ["『", "』"],
-        ["【", "】"],
-        ["〔", "〕"],
-        ["〖", "〗"],
-        ["〚", "〛"],
-        ["︵", "︶"],
-        ["︷", "︸"],
-        ["︹", "︺"],
-        ["︻", "︼"],
-        ["︽", "︾"],
-        ["︿", "﹀"],
-        ["﹁", "﹂"],
-        ["﹃", "﹄"],
-        ["﹙", "﹚"],
-        ["﹛", "﹜"],
-        ["﹝", "﹞"],
-        ["（", "）"],
-        ["［", "］"],
-        ["｛", "｝"],
-        ["｢", "｣"],
-        ["/-", "-/"],
-        ["\"", "\""],
-        ["s!\"", "\""],
-        ["f!\"", "\""],
-        ["m!\"", "\""]
-    ],
-    "surroundingPairs": [
-        ["(", ")"],
-        ["[", "]"],
-        ["{", "}"],
-        ["⁅", "⁆"],
-        ["⁽", "⁾"],
-        ["₍", "₎"],
-        ["〈", "〉"],
-        ["⎴", "⎵"],
-        ["⟅", "⟆"],
-        ["⟦", "⟧"],
-        ["⟨", "⟩"],
-        ["⟪", "⟫"],
-        ["⦃", "⦄"],
-        ["〈", "〉"],
-        ["《", "》"],
-        ["‹", "›"],
-        ["«", "»"],
-        ["「", "」"],
-        ["『", "』"],
-        ["【", "】"],
-        ["〔", "〕"],
-        ["〖", "〗"],
-        ["〚", "〛"],
-        ["︵", "︶"],
-        ["︷", "︸"],
-        ["︹", "︺"],
-        ["︻", "︼"],
-        ["︽", "︾"],
-        ["︿", "﹀"],
-        ["﹁", "﹂"],
-        ["﹃", "﹄"],
-        ["﹙", "﹚"],
-        ["﹛", "﹜"],
-        ["﹝", "﹞"],
-        ["（", "）"],
-        ["［", "］"],
-        ["｛", "｝"],
-        ["｢", "｣"],
-        ["\"", "\""],
-        ["'", "'"],
-        ["`", "`"],
-        ["*", "*"]
-    ],
-    "wordPattern": "([^`~@$%^&*()\\-=+\\[{\\]}⟨⟩⦃⦄⟦⟧⟮⟯‹›<>\\\\|;:\",./\\s]+)",
-    "onEnterRules": [
-        {
-            "beforeText": "^\\s*(·|\\.)\\s.*$",
-            "action": { "indent": "indent" }
-        }
-    ]
-}

package/dist/monaco-lean4/vscode-lean4/loogleview/static/index.css

@@ -1,94 +0,0 @@
-.loader {
-    display: inline-block;
-    margin-left: 8px;
-    border: 4px solid #f3f3f3; /* Light grey */
-    border-top: 4px solid #3498db; /* Blue */
-    border-radius: 50%;
-    width: 16px;
-    height: 16px;
-    animation: spin 2s linear infinite;
-}
-
-@keyframes spin {
-    0% {
-        transform: rotate(0deg);
-    }
-    100% {
-        transform: rotate(360deg);
-    }
-}
-
-.hidden {
-    display: none;
-}
-
-.query-label {
-    display: block;
-    color: var(--foreground);
-    cursor: pointer;
-    font-size: var(--type-ramp-base-font-size);
-    line-height: var(--type-ramp-base-line-height);
-    margin-bottom: 2px;
-}
-
-.query-container {
-    display: flex;
-    align-items: center;
-}
-
-.input-container {
-    display: flex;
-    justify-content: space-between;
-    align-items: center;
-    width: 70ch;
-
-    box-sizing: border-box;
-    position: relative;
-    display: flex;
-    flex-direction: row;
-    color: var(--input-foreground);
-    background: var(--input-background);
-    border-radius: calc(var(--corner-radius-round) * 1px);
-    border: calc(var(--border-width) * 1px) solid var(--dropdown-border);
-    height: calc(var(--input-height) * 1px);
-    min-width: var(--input-min-width);
-    font-family: var(--font-family);
-    outline: none;
-    user-select: none;
-}
-
-.input-container:focus-within:not([disabled]) {
-    border-color: var(--focus-border);
-}
-
-[contenteditable='true'].single-line {
-    white-space: nowrap;
-    width: 60ch;
-    overflow: hidden;
-    outline: none;
-
-    height: calc(100% - (var(--design-unit) * 1px));
-    margin-top: auto;
-    margin-bottom: auto;
-    border: none;
-    padding: 0 calc(var(--design-unit) * 2px + 1px);
-    font-size: var(--type-ramp-base-font-size);
-    line-height: var(--type-ramp-base-line-height);
-}
-[contenteditable='true'].single-line br {
-    display: none;
-}
-[contenteditable='true'].single-line * {
-    display: inline;
-    white-space: nowrap;
-}
-
-vscode-button {
-    vertical-align: middle;
-}
-
-.input-buttons {
-    display: inline-flex;
-    margin-left: 0.5em;
-    margin-right: 0.5em;
-}

package/dist/monaco-lean4/vscode-lean4/loogleview/tsconfig.json

@@ -1,10 +0,0 @@
-{
-    "extends": "../tsconfig",
-    "compilerOptions": {
-        "strict": true,
-        "lib": ["dom", "es6"],
-        "rootDir": "../",
-        "sourceMap": true
-    },
-    "include": ["./**/*"]
-}