lean4monaco 1.0.35 → 1.0.37

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

@@ -0,0 +1,198 @@
+.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

@@ -0,0 +1,198 @@
+.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

@@ -0,0 +1,10 @@
+{
+    "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

@@ -0,0 +1,83 @@
+[
+  {
+    "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

@@ -0,0 +1,47 @@
+[
+  {
+    "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

@@ -0,0 +1,36 @@
+{
+  "_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"
+}