lean4monaco 1.0.45 → 1.1.0

package/dist/vscode-lean4/vscode-lean4/dist/moogleview/static/index.css

@@ -1,198 +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(--vscode-foreground);
-    cursor: pointer;
-    font-size: var(--vscode-font-size);
-    line-height: normal;
-    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;
-    flex-direction: row;
-    color: var(--vscode-input-foreground);
-    background: var(--vscode-input-background);
-    border-radius: 2px;
-    border: 1px solid var(--vscode-dropdown-border);
-    height: 26px;
-    min-width: 100px;
-    font-family: var(--vscode-font-family);
-    outline: none;
-    user-select: none;
-}
-
-.input-container:focus-within:not([disabled]) {
-    border-color: var(--vscode-focusBorder);
-}
-
-[contenteditable='true'].single-line {
-    white-space: nowrap;
-    width: 60ch;
-    overflow: hidden;
-    outline: none;
-
-    height: calc(100% - 4px);
-    margin-top: auto;
-    margin-bottom: auto;
-    border: none;
-    padding: 0 9px;
-    font-size: var(--vscode-font-size);
-    line-height: normal;
-}
-[contenteditable='true'].single-line br {
-    display: none;
-}
-[contenteditable='true'].single-line * {
-    display: inline;
-    white-space: nowrap;
-}
-
-vscode-button {
-    vertical-align: middle;
-}
-
-body {
-    font-family: var(--vscode-font-family);
-    font-size: var(--vscode-font-size);
-    color: var(--vscode-foreground);
-    padding: 10px;
-    line-height: 1.6;
-}
-
-h1,
-h2 {
-    color: var(--vscode-foreground);
-    font-weight: normal;
-}
-
-.result-item {
-    border: 1px solid rgba(209, 213, 219, 0.5);
-    border-radius: 0.5rem;
-    margin-bottom: 1rem;
-    background-color: var(--vscode-editor-background);
-    padding: 10px;
-}
-
-.result-header {
-    cursor: pointer;
-    user-select: none;
-    padding: 0.625rem 1rem;
-    background-color: var(--vscode-editor-background);
-    border-bottom: 1px solid var(--vscode-panel-border);
-}
-.result-content {
-    display: none;
-    margin-top: 10px;
-    padding: 1rem;
-}
-.result-content.open {
-    display: block;
-}
-
-.result-content.open {
-    display: block;
-}
-
-.result-header h3 {
-    margin: 0;
-    font-size: 0.875rem;
-    font-weight: 500;
-    font-family: var(--vscode-editor-font-family);
-}
-
-.display-html-container {
-    font-family: var(--vscode-editor-font-family);
-}
-
-.display-html-container a {
-    text-decoration: none;
-    color: var(--vscode-editor-foreground);
-}
-
-.display-html-container a:hover {
-    text-decoration: underline;
-}
-
-vscode-link {
-    margin-top: 5px;
-}
-.decl_header {
-    display: block;
-    margin-bottom: 0.5em;
-    color: var(--vscode-editor-foreground);
-}
-
-.decl_kind {
-    color: var(--vscode-keyword-foreground);
-    font-weight: bold;
-}
-
-.decl_name {
-    color: var(--vscode-symbolIcon-functionForeground);
-    font-weight: bold;
-}
-
-.name {
-    color: var(--vscode-symbolIcon-variableForeground);
-}
-
-.decl_args {
-    color: var(--vscode-editor-foreground);
-}
-
-.decl_type {
-    color: var(--vscode-symbolIcon-typeParameterForeground);
-    text-indent: 20px;
-}
-
-.fn {
-    color: var(--vscode-symbolIcon-functionForeground);
-}
-
-.impl_arg {
-    font-style: italic;
-}
-
-.decl_extends,
-.decl_parent {
-    color: var(--vscode-keyword-foreground);
-}
-
-.break_within {
-    word-break: break-word;
-}

package/dist/vscode-lean4/vscode-lean4/node_modules/@types/node/package.json

@@ -1,220 +0,0 @@
-{
-    "name": "@types/node",
-    "version": "20.17.24",
-    "description": "TypeScript definitions for node",
-    "homepage": "https://github.com/DefinitelyTyped/DefinitelyTyped/tree/master/types/node",
-    "license": "MIT",
-    "contributors": [
-        {
-            "name": "Microsoft TypeScript",
-            "githubUsername": "Microsoft",
-            "url": "https://github.com/Microsoft"
-        },
-        {
-            "name": "Alberto Schiabel",
-            "githubUsername": "jkomyno",
-            "url": "https://github.com/jkomyno"
-        },
-        {
-            "name": "Alvis HT Tang",
-            "githubUsername": "alvis",
-            "url": "https://github.com/alvis"
-        },
-        {
-            "name": "Andrew Makarov",
-            "githubUsername": "r3nya",
-            "url": "https://github.com/r3nya"
-        },
-        {
-            "name": "Benjamin Toueg",
-            "githubUsername": "btoueg",
-            "url": "https://github.com/btoueg"
-        },
-        {
-            "name": "Chigozirim C.",
-            "githubUsername": "smac89",
-            "url": "https://github.com/smac89"
-        },
-        {
-            "name": "David Junger",
-            "githubUsername": "touffy",
-            "url": "https://github.com/touffy"
-        },
-        {
-            "name": "Deividas Bakanas",
-            "githubUsername": "DeividasBakanas",
-            "url": "https://github.com/DeividasBakanas"
-        },
-        {
-            "name": "Eugene Y. Q. Shen",
-            "githubUsername": "eyqs",
-            "url": "https://github.com/eyqs"
-        },
-        {
-            "name": "Hannes Magnusson",
-            "githubUsername": "Hannes-Magnusson-CK",
-            "url": "https://github.com/Hannes-Magnusson-CK"
-        },
-        {
-            "name": "Huw",
-            "githubUsername": "hoo29",
-            "url": "https://github.com/hoo29"
-        },
-        {
-            "name": "Kelvin Jin",
-            "githubUsername": "kjin",
-            "url": "https://github.com/kjin"
-        },
-        {
-            "name": "Klaus Meinhardt",
-            "githubUsername": "ajafff",
-            "url": "https://github.com/ajafff"
-        },
-        {
-            "name": "Lishude",
-            "githubUsername": "islishude",
-            "url": "https://github.com/islishude"
-        },
-        {
-            "name": "Mariusz Wiktorczyk",
-            "githubUsername": "mwiktorczyk",
-            "url": "https://github.com/mwiktorczyk"
-        },
-        {
-            "name": "Mohsen Azimi",
-            "githubUsername": "mohsen1",
-            "url": "https://github.com/mohsen1"
-        },
-        {
-            "name": "Nikita Galkin",
-            "githubUsername": "galkin",
-            "url": "https://github.com/galkin"
-        },
-        {
-            "name": "Parambir Singh",
-            "githubUsername": "parambirs",
-            "url": "https://github.com/parambirs"
-        },
-        {
-            "name": "Sebastian Silbermann",
-            "githubUsername": "eps1lon",
-            "url": "https://github.com/eps1lon"
-        },
-        {
-            "name": "Thomas den Hollander",
-            "githubUsername": "ThomasdenH",
-            "url": "https://github.com/ThomasdenH"
-        },
-        {
-            "name": "Wilco Bakker",
-            "githubUsername": "WilcoBakker",
-            "url": "https://github.com/WilcoBakker"
-        },
-        {
-            "name": "wwwy3y3",
-            "githubUsername": "wwwy3y3",
-            "url": "https://github.com/wwwy3y3"
-        },
-        {
-            "name": "Samuel Ainsworth",
-            "githubUsername": "samuela",
-            "url": "https://github.com/samuela"
-        },
-        {
-            "name": "Kyle Uehlein",
-            "githubUsername": "kuehlein",
-            "url": "https://github.com/kuehlein"
-        },
-        {
-            "name": "Thanik Bhongbhibhat",
-            "githubUsername": "bhongy",
-            "url": "https://github.com/bhongy"
-        },
-        {
-            "name": "Marcin Kopacz",
-            "githubUsername": "chyzwar",
-            "url": "https://github.com/chyzwar"
-        },
-        {
-            "name": "Trivikram Kamat",
-            "githubUsername": "trivikr",
-            "url": "https://github.com/trivikr"
-        },
-        {
-            "name": "Junxiao Shi",
-            "githubUsername": "yoursunny",
-            "url": "https://github.com/yoursunny"
-        },
-        {
-            "name": "Ilia Baryshnikov",
-            "githubUsername": "qwelias",
-            "url": "https://github.com/qwelias"
-        },
-        {
-            "name": "ExE Boss",
-            "githubUsername": "ExE-Boss",
-            "url": "https://github.com/ExE-Boss"
-        },
-        {
-            "name": "Piotr Błażejewicz",
-            "githubUsername": "peterblazejewicz",
-            "url": "https://github.com/peterblazejewicz"
-        },
-        {
-            "name": "Anna Henningsen",
-            "githubUsername": "addaleax",
-            "url": "https://github.com/addaleax"
-        },
-        {
-            "name": "Victor Perin",
-            "githubUsername": "victorperin",
-            "url": "https://github.com/victorperin"
-        },
-        {
-            "name": "NodeJS Contributors",
-            "githubUsername": "NodeJS",
-            "url": "https://github.com/NodeJS"
-        },
-        {
-            "name": "Linus Unnebäck",
-            "githubUsername": "LinusU",
-            "url": "https://github.com/LinusU"
-        },
-        {
-            "name": "wafuwafu13",
-            "githubUsername": "wafuwafu13",
-            "url": "https://github.com/wafuwafu13"
-        },
-        {
-            "name": "Matteo Collina",
-            "githubUsername": "mcollina",
-            "url": "https://github.com/mcollina"
-        },
-        {
-            "name": "Dmitry Semigradsky",
-            "githubUsername": "Semigradsky",
-            "url": "https://github.com/Semigradsky"
-        }
-    ],
-    "main": "",
-    "types": "index.d.ts",
-    "typesVersions": {
-        "<=5.6": {
-            "*": [
-                "ts5.6/*"
-            ]
-        }
-    },
-    "repository": {
-        "type": "git",
-        "url": "https://github.com/DefinitelyTyped/DefinitelyTyped.git",
-        "directory": "types/node"
-    },
-    "scripts": {},
-    "dependencies": {
-        "undici-types": "~6.19.2"
-    },
-    "peerDependencies": {},
-    "typesPublisherContentHash": "4e1dfd219cb4f1d8fcf2b3d9768fdb7f93877cc7f561d7b11dbf66cac9b37c5d",
-    "typeScriptVersion": "5.0"
-}

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/keywords.transforms.json

@@ -1,83 +0,0 @@
-[
-  {
-    "method": "LoadTable",
-    "params": {
-      "relativePath": "_DataFilePath_",
-      "rootPath": "_RootPath_"
-    },
-    "variable": "iconKeywordsInputTable"
-  },
-  {
-    "transforms": [
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_LibraryKey_"
-        },
-        "variable": "_IconData_LibraryKey_"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_IconTypeKey_"
-        },
-        "variable": "_IconData_TypeKey_"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnIconKeyValueName",
-          "iterator": "iconKeywordsTableIterator"
-        },
-        "variable": "iconKeyValue"
-      },
-      {
-        "method": "GetHashKey",
-        "notes": "The icon Key is derived from the uppercase unicode value.",
-        "params": {
-          "from": "iconKeyValue"
-        },
-        "variable": "_IconData_Key_"
-      },
-      {
-        "method": "UpdateVariablesTable",
-        "params": {
-          "variables": "_IconDataVariables_"
-        },
-        "variable": "_IconData_"
-      },
-      {
-        "method": "Clear",
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnKeywordsName",
-          "iterator": "iconKeywordsTableIterator"
-        },
-        "variable": "iconKeywords"
-      },
-      {
-        "method": "AddToVariableBag",
-        "params": {
-          "value": "iconKeywords"
-        },
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "AddNameValuePairsToAssociationTable",
-        "params": {
-          "key": "_IconData_Key_",
-          "values": "iconArtifacts",
-          "keyColumn": "_IconArtifactData_IconKey_",
-          "namesColumn": "_IconArtifactData_Name_",
-          "valuesColumn": "_IconArtifactData_Value_"
-        },
-        "variable": "_IconArtifactData_"
-      }
-    ],
-    "method": "ForEachRow",
-    "variable": "iconKeywordsTableIterator"
-  }
-]

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/keywords.variables.json

@@ -1,47 +0,0 @@
-[
-  {
-    "tableSpecifier": {
-      "dataColumnIndex": 0,
-      "dataRowIndex": 1,
-      "headerRowIndex": 0
-    },
-    "type": "Table",
-    "valueType": "None",
-    "name": "iconKeywordsInputTable"
-  },
-  {
-    "type": "Value",
-    "value": "IconKeyValue",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnIconKeyValueName"
-  },
-  {
-    "type": "Value",
-    "value": "Keywords",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnKeywordsName"
-  },
-  {
-    "type": "TableIterator",
-    "TargetName": "iconKeywordsInputTable",
-    "name": "iconKeywordsTableIterator"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "iconKeyValue"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "iconKeywords"
-  },
-  {
-    "type": "VariableBag",
-    "valueType": "None",
-    "values": [],
-    "name": "iconArtifacts"
-  }
-]

package/dist/vscode-lean4/vscode-lean4/node_modules/@vscode/codicons/_iconCloud/manifest.json

@@ -1,36 +0,0 @@
-{
-  "_type": "Library",
-  "_version": "XCHRDK",
-  "dataPaths": [
-    {
-      "dataPath": "~/dist/codicon.csv",
-      "transformPaths": ["~/_iconCloud/manifest.transforms.json"],
-      "variablePaths": ["~/_iconCloud/manifest.variables.json"]
-    },
-    {
-      "dataPath": "~/_iconCloud/keywords.csv",
-      "transformPaths": ["~/_iconCloud/keywords.transforms.json"],
-      "variablePaths": ["~/_iconCloud/keywords.variables.json"]
-    }
-  ],
-  "iconType": "Glyph",
-  "lastUpdated": "2020-10-23T12:00Z",
-  "libraryInfoKey": "8df73c1d1",
-  "libraryName": "VS Code Icons",
-  "libraryProperties":
-  {
-    "copyPreviewTypes": "Glyph",
-    "copySize": "32",
-    "copyTypes": "Glyph,Svg",
-    "downloadDefaultSize": "32",
-    "downloadTypes": "Svg",
-    "libraryFileNameBase": "VsCodeIcons",
-    "libraryIconSizes": "16,24,32,40,48,56,64",
-    "metadata-1-dataMapping": "Icon:iconKeywords",
-    "metadata-1-dataStyle": "ClickablePill",
-    "metadata-1-dataType": "Keywords",
-    "metadata-1-label": "Keywords",
-    "metadata-1-sorting": "ByWeight"
-  },
-  "libraryVersion": "2.43"
-}