Publish docs @ 0667406

TuringLang · Nov 19, 2024 · 19f0bc0 · 19f0bc0
1 parent a5d28a4
commit 19f0bc0
Show file tree

Hide file tree

Showing 57 changed files with 132,199 additions and 129,728 deletions.
diff --git a/404.html b/404.html
@@ -2,7 +2,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"><head>
 
 <meta charset="utf-8">
-<meta name="generator" content="quarto-1.5.57">
+<meta name="generator" content="quarto-1.6.36">
 
 <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
 
@@ -36,12 +36,12 @@
 <script src="/site_libs/quarto-html/tippy.umd.min.js"></script>
 <script src="/site_libs/quarto-html/anchor.min.js"></script>
 <link href="/site_libs/quarto-html/tippy.css" rel="stylesheet">
-<link href="/site_libs/quarto-html/quarto-syntax-highlighting.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
-<link href="/site_libs/quarto-html/quarto-syntax-highlighting-dark.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
+<link href="/site_libs/quarto-html/quarto-syntax-highlighting-01c78b5cd655e4cd89133cf59d535862.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-text-highlighting-styles">
+<link href="/site_libs/quarto-html/quarto-syntax-highlighting-dark-474c6d7e63be50eb6972897072b39b27.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-text-highlighting-styles">
 <script src="/site_libs/bootstrap/bootstrap.min.js"></script>
 <link href="/site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
-<link href="/site_libs/bootstrap/bootstrap.min.css" rel="stylesheet" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
-<link href="/site_libs/bootstrap/bootstrap-dark.min.css" rel="prefetch" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
+<link href="/site_libs/bootstrap/bootstrap-799781e416393c3aa452560b09b174ea.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
+<link href="/site_libs/bootstrap/bootstrap-dark-c95fd087f916c7c85368e0420c494d31.min.css" rel="prefetch" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
 <script id="quarto-search-options" type="application/json">{
   "location": "navbar",
   "copy-button": false,
@@ -712,8 +712,6 @@ <h1 class="title">Page Not Found</h1>
   });
   clipboard.on('success', onCopySuccess);
   if (window.document.getElementById('quarto-embedded-source-code-modal')) {
-    // For code content inside modals, clipBoardJS needs to be initialized with a container option
-    // TODO: Check when it could be a function (https://github.com/zenorocha/clipboard.js/issues/860)
     const clipboardModal = new window.ClipboardJS('.code-copy-button[data-in-quarto-modal]', {
       text: getTextToCopy,
       container: window.document.getElementById('quarto-embedded-source-code-modal')
@@ -824,7 +822,6 @@ <h1 class="title">Page Not Found</h1>
       if (window.Quarto?.typesetMath) {
         window.Quarto.typesetMath(note);
       }
-      // TODO in 1.5, we should make sure this works without a callout special case
       if (note.classList.contains("callout")) {
         return note.outerHTML;
       } else {

diff --git a/search.json b/search.json
diff --git a/search_original.json b/search_original.json
diff --git a/site_libs/bootstrap/bootstrap-5a965d03c83b9a52a3a52c83f34fadca.min.css b/site_libs/bootstrap/bootstrap-5a965d03c83b9a52a3a52c83f34fadca.min.css
diff --git a/site_libs/bootstrap/bootstrap-67f38b0742f9bce76ffb8d9491dae701.min.css b/site_libs/bootstrap/bootstrap-67f38b0742f9bce76ffb8d9491dae701.min.css
diff --git a/site_libs/bootstrap/bootstrap-799781e416393c3aa452560b09b174ea.min.css b/site_libs/bootstrap/bootstrap-799781e416393c3aa452560b09b174ea.min.css
diff --git a/site_libs/bootstrap/bootstrap-b2759af22d6096437b3ea519cb80c418.min.css b/site_libs/bootstrap/bootstrap-b2759af22d6096437b3ea519cb80c418.min.css
diff --git a/site_libs/bootstrap/bootstrap-dark-03f81fcb35c69179f531195cac5ac726.min.css b/site_libs/bootstrap/bootstrap-dark-03f81fcb35c69179f531195cac5ac726.min.css
diff --git a/site_libs/bootstrap/bootstrap-dark-c95fd087f916c7c85368e0420c494d31.min.css b/site_libs/bootstrap/bootstrap-dark-c95fd087f916c7c85368e0420c494d31.min.css
diff --git a/site_libs/bootstrap/bootstrap-dark.min.css b/site_libs/bootstrap/bootstrap-dark.min.css
diff --git a/site_libs/quarto-html/quarto-syntax-highlighting-01c78b5cd655e4cd89133cf59d535862.css b/site_libs/quarto-html/quarto-syntax-highlighting-01c78b5cd655e4cd89133cf59d535862.css