lean4monaco 1.0.45 → 1.0.46

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

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

@@ -1,368 +0,0 @@
-[
-  {
-    "method": "GetFilePaths",
-    "notes": "Get all the files from the root directory, and put them into a cache.  This is for performance.",
-    "params": {
-      "rootPath": "_RootPath_"
-    },
-    "variable": "_FilePathsCache_"
-  },
-  {
-    "method": "AddToVariableBag",
-    "params": {
-      "value": "_LibraryVersion_"
-    },
-    "variable": "libraryArtifacts"
-  },
-  {
-    "method": "AddToVariableBag",
-    "params": {
-      "value": "_LibraryLastUpdated_"
-    },
-    "variable": "libraryArtifacts"
-  },
-  {
-    "method": "AddIfFileExists",
-    "params": {
-      "property": "_TtfFileProperty_",
-      "filePath": "libraryArtifactTtfFilePath",
-      "rootPath": "_RootPath_",
-      "filePathsCache": "_FilePathsCache_"
-    },
-    "variable": "libraryArtifacts"
-  },
-  {
-    "method": "AddIfFileExists",
-    "params": {
-      "property": "_WoffFileProperty_",
-      "filePath": "libraryArtifactWoffFilePath",
-      "rootPath": "_RootPath_",
-      "filePathsCache": "_FilePathsCache_"
-    },
-    "variable": "libraryArtifacts"
-  },
-  {
-    "method": "AddIfFileExists",
-    "params": {
-      "property": "_Woff2FileProperty_",
-      "filePath": "libraryArtifactWoff2FilePath",
-      "rootPath": "_RootPath_",
-      "filePathsCache": "_FilePathsCache_"
-    },
-    "variable": "libraryArtifacts"
-  },
-  {
-    "method": "Copy",
-    "params": {
-      "from": "_LibraryLastUpdated_"
-    },
-    "variable": "lastUpdated"
-  },
-  {
-    "method": "Copy",
-    "params": {
-      "from": "_LibraryVersion_"
-    },
-    "variable": "version"
-  },
-  {
-    "method": "AddNameValuePairsToAssociationTable",
-    "params": {
-      "key": "_LibraryKey_",
-      "values": "libraryArtifacts",
-      "keyColumn": "_LibraryArtifactData_LibraryKey_",
-      "namesColumn": "_LibraryArtifactData_Name_",
-      "valuesColumn": "_LibraryArtifactData_Value_"
-    },
-    "variable": "_LibraryArtifactData_"
-  },
-  {
-    "method": "LoadTable",
-    "params": {
-      "relativePath": "_DataFilePath_",
-      "rootPath": "_RootPath_"
-    },
-    "variable": "iconsInputTable"
-  },
-  {
-    "method": "AppendColumn",
-    "notes": "Inject a unique ID field into the icons table.",
-    "params": {
-      "columnName": "iconColumnKeyName"
-    },
-    "variable": "iconsInputTable"
-  },
-  {
-    "transforms": [
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnUnicodeValue",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "iconUnicodeValue"
-      },
-      {
-        "method": "GetHashKey",
-        "notes": "The icon Key is derived from the unicode value.",
-        "params": {
-          "from": "iconUnicodeValue"
-        },
-        "variable": "_IconData_Key_"
-      },
-      {
-        "method": "SetRowValue",
-        "params": {
-          "columnName": "iconColumnKeyName",
-          "value": "_IconData_Key_"
-        },
-        "variable": "iconsTableIterator"
-      }
-    ],
-    "method": "ForEachRow",
-    "notes": "Insert the 'key' for each icon into the source table.",
-    "variable": "iconsTableIterator"
-  },
-  {
-    "method": "Copy",
-    "params": {
-      "from": "_LibraryKey_"
-    },
-    "variable": "_CollectionData_LibraryKey_"
-  },
-  {
-    "method": "Copy",
-    "params": {
-      "from": "_IconTypeKey_"
-    },
-    "variable": "_CollectionData_TypeKey_"
-  },
-  {
-    "method": "GetHashKey",
-    "notes": "The collection Key is derived from the collection name.",
-    "params": {
-      "from": "collectionName"
-    },
-    "variable": "_CollectionData_Key_"
-  },
-  {
-    "method": "Copy",
-    "params": {
-      "from": "collectionName"
-    },
-    "variable": "_CollectionData_Name_"
-  },
-  {
-    "method": "UpdateVariablesTable",
-    "params": {
-      "variables": "_CollectionDataVariables_"
-    },
-    "variable": "_CollectionData_"
-  },
-  
-  {
-    "method": "Clear",
-    "variable": "collectionArtifacts"
-  },
-  {
-    "method": "AddToVariableBag",
-    "params": {
-      "value": "lastUpdated"
-    },
-    "variable": "collectionArtifacts"
-  },
-  {
-    "method": "AddToVariableBag",
-    "params": {
-      "value": "version"
-    },
-    "variable": "collectionArtifacts"
-  },
-  {
-    "method": "AddNameValuePairsToAssociationTable",
-    "params": {
-      "key": "_CollectionData_Key_",
-      "values": "collectionArtifacts",
-      "keyColumn": "_CollectionArtifactData_CollectionKey_",
-      "namesColumn": "_CollectionArtifactData_Name_",
-      "valuesColumn": "_CollectionArtifactData_Value_"
-    },
-    "variable": "_CollectionArtifactData_"
-  },
-  {
-    "transforms": [
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_LibraryKey_"
-        },
-        "variable": "_IconData_LibraryKey_"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_IconTypeKey_"
-        },
-        "variable": "_IconData_TypeKey_"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnKeyName",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "_IconData_Key_"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_CollectionData_Key_"
-        },
-        "variable": "_CollectionIconData_CollectionKey_"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "_IconData_Key_"
-        },
-        "variable": "_CollectionIconData_IconKey_"
-      },
-      {
-        "method": "UpdateVariablesTable",
-        "params": {
-          "variables": "_CollectionIconDataVariables_"
-        },
-        "variable": "_CollectionIconData_"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnShortName",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "iconShortName"
-      },
-      {
-        "method": "Replace",
-        "params": {
-          "from": "dashChar",
-          "to": "spaceChar"
-        },
-        "variable": "iconShortName"
-      },
-      {
-        "method": "Capitalize",
-        "variable": "iconShortName"
-      },
-      {
-        "method": "Replace",
-        "params": {
-          "from": "spaceChar",
-          "to": "dashChar"
-        },
-        "variable": "iconShortName"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "iconShortName"
-        },
-        "variable": "_IconData_Name_"
-      },
-      {
-        "method": "UpdateVariablesTable",
-        "params": {
-          "variables": "_IconDataVariables_"
-        },
-        "variable": "_IconData_"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnShortName",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "iconShortName"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnGlyph",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "iconGlyph"
-      },
-      {
-        "method": "GetColumnValue",
-        "params": {
-          "columnName": "iconColumnUnicodeValue",
-          "iterator": "iconsTableIterator"
-        },
-        "variable": "iconUnicodeValue"
-      },
-      {
-        "method": "Clear",
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "Copy",
-        "params": {
-          "from": "svgFilePathFormat"
-        },
-        "variable": "svgIconFilePath"
-      },
-      {
-        "method": "Replace",
-        "params": {
-          "from": "iconShortNamePattern",
-          "to": "iconShortName"
-        },
-        "variable": "svgIconFilePath"
-      },
-      {
-        "method": "AddIfFileExists",
-        "params": {
-          "property": "_SvgFileProperty_",
-          "filePath": "svgIconFilePath",
-          "rootPath": "_RootPath_",
-          "filePathsCache": "_FilePathsCache_"
-        },
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "AddToVariableBag",
-        "params": {
-          "value": "iconGlyph"
-        },
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "AddToVariableBag",
-        "params": {
-          "value": "iconUnicodeValue"
-        },
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "AddToVariableBag",
-        "params": {
-          "value": "lastUpdated"
-        },
-        "variable": "iconArtifacts"
-      },
-      {
-        "method": "AddNameValuePairsToAssociationTable",
-        "params": {
-          "key": "_IconData_Key_",
-          "values": "iconArtifacts",
-          "keyColumn": "_IconArtifactData_IconKey_",
-          "namesColumn": "_IconArtifactData_Name_",
-          "valuesColumn": "_IconArtifactData_Value_"
-        },
-        "variable": "_IconArtifactData_"
-      }
-    ],
-    "method": "ForEachRow",
-    "variable": "iconsTableIterator"
-  }
-]

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

@@ -1,149 +0,0 @@
-[
-  {
-    "type": "Value",
-    "value": "~/dist/codicon.ttf",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "libraryArtifactTtfFilePath"
-  },
-  {
-    "type": "Value",
-    "value": "~/dist/codicon.woff",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "libraryArtifactWoffFilePath"
-  },
-  {
-    "type": "Value",
-    "value": "~/dist/codicon.woff2",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "libraryArtifactWoff2FilePath"
-  },
-  {
-    "type": "VariableBag",
-    "valueType": "None",
-    "values": [],
-    "name": "libraryArtifacts"
-  },
-  {
-    "tableSpecifier": {
-      "dataColumnIndex": 0,
-      "dataRowIndex": 2,
-      "headerRowIndex": 0
-    },
-    "type": "Table",
-    "valueType": "None",
-    "name": "iconsInputTable"
-  },
-  {
-    "type": "Value",
-    "value": "ID",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnKeyName"
-  },
-  {
-    "type": "Value",
-    "value": "short_name",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnShortName"
-  },
-  {
-    "type": "Value",
-    "value": "unicode",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnUnicodeValue"
-  },
-  {
-    "type": "Value",
-    "value": "character",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconColumnGlyph"
-  },
-  {
-    "type": "TableIterator",
-    "TargetName": "iconsInputTable",
-    "name": "iconsTableIterator"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "iconGlyph"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "iconUnicodeValue"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "iconShortName"
-  },
-    {
-    "type": "Value",
-    "value": "Icons",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "collectionName"
-  },
-    {
-    "type": "Value",
-    "value": "~/src/icons/{iconShortName}.svg",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "svgFilePathFormat"
-  },
-  {
-    "type": "Value",
-    "value": "{iconShortName}",
-    "valueType": "Text",
-    "referenceOnly": true,
-    "name": "iconShortNamePattern"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "svgIconFilePath"
-  },
-  {
-    "type": "VariableBag",
-    "valueType": "None",
-    "values": [],
-    "name": "collectionArtifacts"
-  },
-  {
-    "type": "VariableBag",
-    "valueType": "None",
-    "values": [],
-    "name": "iconArtifacts"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "lastUpdated"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "name": "version"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "value": " ",
-    "referenceOnly": true,
-    "name": "spaceChar"
-  },
-  {
-    "type": "Value",
-    "valueType": "Text",
-    "value": "-",
-    "referenceOnly": true,
-    "name": "dashChar"
-  }
-]