Merge branch 'master' into master

Kapeli · Dec 17, 2024 · ccfa57d · ccfa57d
2 parents 23460c7 + 5591f01
commit ccfa57d
Show file tree

Hide file tree

Showing 835 changed files with 2,296 additions and 2,286 deletions.
diff --git a/docsets/ACL2/ACL2.tgz.txt b/docsets/ACL2/ACL2.tgz.txt
@@ -1,6 +1,6 @@
 Archive "ACL2.tgz" was processed at this location, pushed to the CDN and completely removed from git.
 
-Date: 2021-12-21 19:16:10 +0000
-SHA1: ff6b3f1fa409d5d5c38e13be51d795ed5833b071
+Date: 2024-04-15 13:36:47 +0000
+SHA1: e06f23a0ed571cb4998f6404b9b904ab165e7475
 
 Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/ACL2/docset.json b/docsets/ACL2/docset.json
@@ -1,6 +1,6 @@
 {
     "name": "ACL2",
-    "version": "8.4.3",
+    "version": "8.5.0",
     "archive": "ACL2.tgz",
     "author": {
         "name": "Mu Xian Ming",

diff --git a/docsets/ACL2/[email protected] b/docsets/ACL2/[email protected]
diff --git a/docsets/AWS_CDK/docset.json b/docsets/AWS_CDK/docset.json
@@ -25,110 +25,6 @@
         {
             "version": "2.87.0/1688715345",
             "archive": "versions/v2.87.0-1688715345/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.86.0/1688111984",
-            "archive": "versions/v2.86.0-1688111984/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.85.0/1687418913",
-            "archive": "versions/v2.85.0-1687418913/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.83.0/1686209620",
-            "archive": "versions/v2.83.0-1686209620/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.79.1/1683877982",
-            "archive": "versions/v2.79.1-1683877982/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.78.0/1683271605",
-            "archive": "versions/v2.78.0-1683271605/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.77.0/1682666522",
-            "archive": "versions/v2.77.0-1682666522/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.76.0/1682061770",
-            "archive": "versions/v2.76.0-1682061770/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.75.1/1681975309",
-            "archive": "versions/v2.75.1-1681975309/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.73.0/1680852480",
-            "archive": "versions/v2.73.0-1680852480/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.72.1/1680334058",
-            "archive": "versions/v2.72.1-1680334058/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.70.0/1679555311",
-            "archive": "versions/v2.70.0-1679555311/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.69.0/1678864064",
-            "archive": "versions/v2.69.0-1678864064/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.68.0/1678345637",
-            "archive": "versions/v2.68.0-1678345637/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.67.0/1677827479",
-            "archive": "versions/v2.67.0-1677827479/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.66.1/1677308764",
-            "archive": "versions/v2.66.1-1677308764/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.65.0/1676531123",
-            "archive": "versions/v2.65.0-1676531123/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.64.0/1676012936",
-            "archive": "versions/v2.64.0-1676012936/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.63.2/1675840096",
-            "archive": "versions/v2.63.2-1675840096/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.62.2/1674890059",
-            "archive": "versions/v2.62.2-1674890059/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.61.1/1674284916",
-            "archive": "versions/v2.61.1-1674284916/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.60.0/1673507802",
-            "archive": "versions/v2.60.0-1673507802/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.59.0/1672816496",
-            "archive": "versions/v2.59.0-1672816496/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.56.0/1671692940",
-            "archive": "versions/v2.56.0-1671692940/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.54.0/1670483060",
-            "archive": "versions/v2.54.0-1670483060/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.53.0/1670051761",
-            "archive": "versions/v2.53.0-1670051761/AWS-CDK.tgz"
-        },
-        {
-            "version": "2.51.1/1669916658",
-            "archive": "versions/v2.51.1-1669916658/AWS-CDK.tgz"
         }
     ]
 }
diff --git a/docsets/AWS_CDK/icon.png b/docsets/AWS_CDK/icon.png
diff --git a/docsets/AWS_CDK/[email protected] b/docsets/AWS_CDK/[email protected]
diff --git a/docsets/AWS_CDK_Python/AWS_CDK_Python.tgz b/docsets/AWS_CDK_Python/AWS_CDK_Python.tgz
diff --git a/docsets/AWS_CDK_Python/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/AWS_CDK_Python.tgz.txt
@@ -1,6 +1,6 @@
 Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
 
-Date: 2024-04-02 17:12:22 +0000
-SHA1: 3de472193977866f8ebd3542ff9f727190e62c3e
+Date: 2024-12-11 13:54:08 +0000
+SHA1: c4d32fcad23cbf352f755aec80863f8b8354a866
 
 Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/docset.json b/docsets/AWS_CDK_Python/docset.json
@@ -1,6 +1,6 @@
 {
     "name": "AWS CDK Python",
-    "version": "2.135.0/1712055778",
+    "version": "2.173.1/1734260857",
     "archive": "AWS_CDK_Python.tgz",
     "author": {
         "name": "Jiawei Yu",
@@ -25,148 +25,56 @@
     ],
     "specific_versions": [
         {
-            "version": "2.99.1/1696158343",
-            "archive": "versions/v2.99.1-1696158343/AWS_CDK_Python.tgz"
+            "version": "2.173.1/1734260857",
+            "archive": "versions/v2.173.1-1734260857/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.97.1/1695726733",
-            "archive": "versions/v2.97.1-1695726733/AWS_CDK_Python.tgz"
+            "version": "2.172.0/1733570060",
+            "archive": "versions/v2.172.0-1733570060/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.96.2/1694862984",
-            "archive": "versions/v2.96.2-1694862984/AWS_CDK_Python.tgz"
+            "version": "2.171.0/1732619721",
+            "archive": "versions/v2.171.0-1732619721/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.95.1/1694257592",
-            "archive": "versions/v2.95.1-1694257592/AWS_CDK_Python.tgz"
+            "version": "2.170.0/1732360326",
+            "archive": "versions/v2.170.0-1732360326/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.94.0/1693652635",
-            "archive": "versions/v2.94.0-1693652635/AWS_CDK_Python.tgz"
+            "version": "2.167.1/1731755420",
+            "archive": "versions/v2.167.1-1731755420/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.93.0/1692875295",
-            "archive": "versions/v2.93.0-1692875295/AWS_CDK_Python.tgz"
+            "version": "2.166.0/1730977875",
+            "archive": "versions/v2.166.0-1730977875/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.92.0/1692184110",
-            "archive": "versions/v2.92.0-1692184110/AWS_CDK_Python.tgz"
+            "version": "2.165.0/1730459561",
+            "archive": "versions/v2.165.0-1730459561/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.91.0/1691752668",
-            "archive": "versions/v2.91.0-1691752668/AWS_CDK_Python.tgz"
+            "version": "2.164.1/1729941168",
+            "archive": "versions/v2.164.1-1729941168/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.90.0/1691233432",
-            "archive": "versions/v2.90.0-1691233432/AWS_CDK_Python.tgz"
+            "version": "2.163.1/1729681865",
+            "archive": "versions/v2.163.1-1729681865/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.89.0/1690628745",
-            "archive": "versions/v2.89.0-1690628745/AWS_CDK_Python.tgz"
+            "version": "2.162.1/1728731317",
+            "archive": "versions/v2.162.1-1728731317/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.88.0/1689937567",
-            "archive": "versions/v2.88.0-1689937567/AWS_CDK_Python.tgz"
+            "version": "2.152.0/1723720171",
+            "archive": "versions/v2.152.0-1723720171/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.86.0/1688123656",
-            "archive": "versions/v2.86.0-1688123656/AWS_CDK_Python.tgz"
+            "version": "2.151.0/1722683003",
+            "archive": "versions/v2.151.0-1722683003/AWS_CDK_Python.tgz"
         },
         {
-            "version": "2.85.0/1687432022",
-            "archive": "versions/v2.85.0-1687432022/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.83.0/1686226161",
-            "archive": "versions/v2.83.0-1686226161/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.79.1/1683894327",
-            "archive": "versions/v2.79.1-1683894327/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.78.0/1683202746",
-            "archive": "versions/v2.78.0-1683202746/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.77.0/1682611459",
-            "archive": "versions/v2.77.0-1682611459/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.76.0/1681992533",
-            "archive": "versions/v2.76.0-1681992533/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.73.0/1681410656",
-            "archive": "versions/v2.73.0-1681410656/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.135.0/1712055778",
-            "archive": "versions/v2.135.0-1712055778/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.133.0/1710500476",
-            "archive": "versions/v2.133.0-1710500476/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.132.1/1710241256",
-            "archive": "versions/v2.132.1-1710241256/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.132.0/1709982201",
-            "archive": "versions/v2.132.0-1709982201/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.131.0/1709377101",
-            "archive": "versions/v2.131.0-1709377101/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.130.0/1708686165",
-            "archive": "versions/v2.130.0-1708686165/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.128.0/1708013595",
-            "archive": "versions/v2.128.0-1708013595/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.113.0/1701514782",
-            "archive": "versions/v2.113.0-1701514782/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.111.0/1701169421",
-            "archive": "versions/v2.111.0-1701169421/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.110.1/1700651296",
-            "archive": "versions/v2.110.1-1700651296/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.108.1/1700046292",
-            "archive": "versions/v2.108.1-1700046292/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.105.0/1699528123",
-            "archive": "versions/v2.105.0-1699528123/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.104.0/1699302046",
-            "archive": "versions/v2.104.0-1699302046/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.103.0/1698319088",
-            "archive": "versions/v2.103.0-1698319088/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.102.0/1697714244",
-            "archive": "versions/v2.102.0-1697714244/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.101.1/1697541050",
-            "archive": "versions/v2.101.1-1697541050/AWS_CDK_Python.tgz"
-        },
-        {
-            "version": "2.100.0/1696677095",
-            "archive": "versions/v2.100.0-1696677095/AWS_CDK_Python.tgz"
+            "version": "2.147.3/1719918402",
+            "archive": "versions/v2.147.3-1719918402/AWS_CDK_Python.tgz"
         }
     ]
 }
diff --git a/docsets/AWS_CDK_Python/versions/v2.137.0-1712833359/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.137.0-1712833359/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-04-15 13:35:45 +0000
+SHA1: 56c7149e90d740dc59739abcfb07fd6d7ce25084
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.140.0-1714734351/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.140.0-1714734351/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-05-04 10:44:48 +0000
+SHA1: 9415def718e34f8d2b7d1ecfdf55b4bf2496cfb2
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.141.0-1715252715/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.141.0-1715252715/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-05-11 14:50:23 +0000
+SHA1: 10a8369330a3fccff1774ceba407118f42e0f74b
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.142.1-1716040938/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.142.1-1716040938/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-05-20 07:39:56 +0000
+SHA1: 0f595f8dbb5bde5f7b1c73b9cfe632aa495b2385
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.143.0-1716548794/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.143.0-1716548794/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-05-28 08:08:57 +0000
+SHA1: b4a09f4ed00a9b724015d64df92e7ae840a95c0c
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.144.0-1717239855/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.144.0-1717239855/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-06-03 09:09:10 +0000
+SHA1: 3c7ac5e28284597633db1c7d419807ec63a319d4
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.145.0-1717844705/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.145.0-1717844705/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-06-10 08:59:20 +0000
+SHA1: ae4d6b3b5d58f68b53b80cf01741b5811c4c61a6
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.146.0-1718363117/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.146.0-1718363117/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-06-16 12:58:08 +0000
+SHA1: 5bba6944618733a96c1e58720d98b340cc20aa77
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.
diff --git a/docsets/AWS_CDK_Python/versions/v2.147.2-1719572829/AWS_CDK_Python.tgz.txt b/docsets/AWS_CDK_Python/versions/v2.147.2-1719572829/AWS_CDK_Python.tgz.txt
@@ -0,0 +1,6 @@
+Archive "AWS_CDK_Python.tgz" was processed at this location, pushed to the CDN and completely removed from git.
+
+Date: 2024-06-30 03:37:10 +0000
+SHA1: 1219f527b79f210e02977915a85c869ca3d8fe29
+
+Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing.