lean4monaco 1.0.43 → 1.0.46

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/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/moogleview/tsconfig.json

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

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"
-}