Skip to content

Commit 407ac4f

Browse files
github-actions[bot]github-actions[bot]
committed
Publish docs @ c5a0629 
1 parent 15b4ae9 commit 407ac4f

File tree

92 files changed

+516
-430
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

92 files changed

+516
-430
lines changed

‎404.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@
3030
<script src="/docs/site_libs/quarto-search/fuse.min.js"></script>
3131
<script src="/docs/site_libs/quarto-search/quarto-search.js"></script>
3232
<meta name="quarto:offset" content="/docs/">
33-
<link href="/docs/./assets/favicon.ico" rel="icon">
33+
<link href="/docs/.//assets/favicon.ico" rel="icon">
3434
<script src="/docs/site_libs/quarto-html/quarto.js" type="module"></script>
3535
<script src="/docs/site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
3636
<script src="/docs/site_libs/quarto-html/popper.min.js"></script>
@@ -86,6 +86,7 @@
8686
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
8787
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
8888
<meta property="og:site_name" content="Turing.jl">
89+
<meta property="og:image:alt" content="Turing.jl Logo">
8990
<meta property="og:locale" content="en_GB">
9091
<meta name="twitter:title" content="Page Not Found – Turing.jl">
9192
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
@@ -782,7 +783,7 @@ <h1 class="title">Page Not Found</h1>
782783
}
783784
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
784785
var mailtoRegex = new RegExp(/^mailto:/);
785-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
786+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
786787
var isInternal = (href) => {
787788
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
788789
}

‎changelog.html

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@
6565
<script src="site_libs/quarto-search/fuse.min.js"></script>
6666
<script src="site_libs/quarto-search/quarto-search.js"></script>
6767
<meta name="quarto:offset" content="./">
68-
<link href="./assets/favicon.ico" rel="icon">
68+
<link href=".//assets/favicon.ico" rel="icon">
6969
<script src="site_libs/quarto-html/quarto.js" type="module"></script>
7070
<script src="site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7171
<script src="site_libs/quarto-html/popper.min.js"></script>
@@ -121,6 +121,7 @@
121121
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
122122
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
123123
<meta property="og:site_name" content="Turing.jl">
124+
<meta property="og:image:alt" content="Turing.jl Logo">
124125
<meta property="og:locale" content="en_GB">
125126
<meta name="twitter:title" content="Changelog – Turing.jl">
126127
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
@@ -1206,7 +1207,7 @@ <h1>0.0.1-0.0.4</h1>
12061207
}
12071208
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
12081209
var mailtoRegex = new RegExp(/^mailto:/);
1209-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1210+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
12101211
var isInternal = (href) => {
12111212
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
12121213
}

‎core-functionality/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../">
6868
<link href="../usage/automatic-differentiation/index.html" rel="next">
6969
<link href="../getting-started/index.html" rel="prev">
70-
<link href="../assets/favicon.ico" rel="icon">
70+
<link href="..//assets/favicon.ico" rel="icon">
7171
<script src="../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../site_libs/quarto-html/popper.min.js"></script>
@@ -153,12 +153,13 @@
153153

154154
<meta property="og:title" content="The Turing Language">
155155
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
156-
<meta property="og:image" content="https://turinglang.org/docs/core-functionality/assets/images/turing-text-logo.jpg">
156+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
157157
<meta property="og:site_name" content="Turing.jl">
158+
<meta property="og:image:alt" content="Turing.jl Logo">
158159
<meta property="og:locale" content="en_GB">
159160
<meta name="twitter:title" content="Core Functionality – Turing.jl">
160161
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
161-
<meta name="twitter:image" content="https://turinglang.org/docs/core-functionality/assets/images/turing-text-logo.jpg">
162+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
162163
<meta name="twitter:creator" content="@Hong_Ge2">
163164
<meta name="twitter:site" content="@TuringLang">
164165
<meta name="twitter:card" content="summary_large_image">
@@ -1819,7 +1820,7 @@ <h4 class="anchored" data-anchor-id="progress-logging">Progress Logging</h4>
18191820
}
18201821
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
18211822
var mailtoRegex = new RegExp(/^mailto:/);
1822-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1823+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
18231824
var isInternal = (href) => {
18241825
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
18251826
}

‎developers/compiler/design-overview/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../../">
6868
<link href="../../../developers/contexts/submodel-condition/index.html" rel="next">
6969
<link href="../../../developers/compiler/minituring-contexts/index.html" rel="prev">
70-
<link href="../../../assets/favicon.ico" rel="icon">
70+
<link href="../../..//assets/favicon.ico" rel="icon">
7171
<script src="../../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../../site_libs/quarto-html/popper.min.js"></script>
@@ -121,12 +121,13 @@
121121

122122
<meta property="og:title" content="The Turing Language">
123123
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
124-
<meta property="og:image" content="https://turinglang.org/docs/developers/compiler/design-overview/assets/images/turing-text-logo.jpg">
124+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
125125
<meta property="og:site_name" content="Turing.jl">
126+
<meta property="og:image:alt" content="Turing.jl Logo">
126127
<meta property="og:locale" content="en_GB">
127128
<meta name="twitter:title" content="Turing Compiler Design (Outdated) – Turing.jl">
128129
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
129-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/compiler/design-overview/assets/images/turing-text-logo.jpg">
130+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
130131
<meta name="twitter:creator" content="@Hong_Ge2">
131132
<meta name="twitter:site" content="@TuringLang">
132133
<meta name="twitter:card" content="summary_large_image">
@@ -1064,7 +1065,7 @@ <h2 class="anchored" data-anchor-id="metadata"><code>Metadata</code></h2>
10641065
}
10651066
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
10661067
var mailtoRegex = new RegExp(/^mailto:/);
1067-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1068+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
10681069
var isInternal = (href) => {
10691070
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
10701071
}

‎developers/compiler/minituring-compiler/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../../">
6868
<link href="../../../developers/compiler/minituring-contexts/index.html" rel="next">
6969
<link href="../../../developers/compiler/model-manual/index.html" rel="prev">
70-
<link href="../../../assets/favicon.ico" rel="icon">
70+
<link href="../../..//assets/favicon.ico" rel="icon">
7171
<script src="../../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../../site_libs/quarto-html/popper.min.js"></script>
@@ -150,12 +150,13 @@
150150

151151
<meta property="og:title" content="The Turing Language">
152152
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
153-
<meta property="og:image" content="https://turinglang.org/docs/developers/compiler/minituring-compiler/assets/images/turing-text-logo.jpg">
153+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
154154
<meta property="og:site_name" content="Turing.jl">
155+
<meta property="og:image:alt" content="Turing.jl Logo">
155156
<meta property="og:locale" content="en_GB">
156157
<meta name="twitter:title" content="A Mini Turing Implementation I: Compiler – Turing.jl">
157158
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
158-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/compiler/minituring-compiler/assets/images/turing-text-logo.jpg">
159+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
159160
<meta name="twitter:creator" content="@Hong_Ge2">
160161
<meta name="twitter:site" content="@TuringLang">
161162
<meta name="twitter:card" content="summary_large_image">
@@ -1159,7 +1160,7 @@ <h1>Consider a probabilistic model defined by</h1>
11591160
}
11601161
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
11611162
var mailtoRegex = new RegExp(/^mailto:/);
1162-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1163+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
11631164
var isInternal = (href) => {
11641165
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
11651166
}

‎developers/compiler/minituring-contexts/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../../">
6868
<link href="../../../developers/compiler/design-overview/index.html" rel="next">
6969
<link href="../../../developers/compiler/minituring-compiler/index.html" rel="prev">
70-
<link href="../../../assets/favicon.ico" rel="icon">
70+
<link href="../../..//assets/favicon.ico" rel="icon">
7171
<script src="../../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../../site_libs/quarto-html/popper.min.js"></script>
@@ -121,12 +121,13 @@
121121

122122
<meta property="og:title" content="The Turing Language">
123123
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
124-
<meta property="og:image" content="https://turinglang.org/docs/developers/compiler/minituring-contexts/assets/images/turing-text-logo.jpg">
124+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
125125
<meta property="og:site_name" content="Turing.jl">
126+
<meta property="og:image:alt" content="Turing.jl Logo">
126127
<meta property="og:locale" content="en_GB">
127128
<meta name="twitter:title" content="A Mini Turing Implementation II: Contexts – Turing.jl">
128129
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
129-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/compiler/minituring-contexts/assets/images/turing-text-logo.jpg">
130+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
130131
<meta name="twitter:creator" content="@Hong_Ge2">
131132
<meta name="twitter:site" content="@TuringLang">
132133
<meta name="twitter:card" content="summary_large_image">
@@ -1150,7 +1151,7 @@ <h2 class="anchored" data-anchor-id="contexts-within-contexts">Contexts within c
11501151
}
11511152
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
11521153
var mailtoRegex = new RegExp(/^mailto:/);
1153-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1154+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
11541155
var isInternal = (href) => {
11551156
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
11561157
}

‎developers/compiler/model-manual/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../../">
6868
<link href="../../../developers/compiler/minituring-compiler/index.html" rel="next">
6969
<link href="../../../developers/contributing/index.html" rel="prev">
70-
<link href="../../../assets/favicon.ico" rel="icon">
70+
<link href="../../..//assets/favicon.ico" rel="icon">
7171
<script src="../../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../../site_libs/quarto-html/popper.min.js"></script>
@@ -121,12 +121,13 @@
121121

122122
<meta property="og:title" content="The Turing Language">
123123
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
124-
<meta property="og:image" content="https://turinglang.org/docs/developers/compiler/model-manual/assets/images/turing-text-logo.jpg">
124+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
125125
<meta property="og:site_name" content="Turing.jl">
126+
<meta property="og:image:alt" content="Turing.jl Logo">
126127
<meta property="og:locale" content="en_GB">
127128
<meta name="twitter:title" content="Manually Defining a Model – Turing.jl">
128129
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
129-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/compiler/model-manual/assets/images/turing-text-logo.jpg">
130+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
130131
<meta name="twitter:creator" content="@Hong_Ge2">
131132
<meta name="twitter:site" content="@TuringLang">
132133
<meta name="twitter:card" content="summary_large_image">
@@ -913,7 +914,7 @@ <h1 class="title">Manually Defining a Model</h1>
913914
}
914915
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
915916
var mailtoRegex = new RegExp(/^mailto:/);
916-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
917+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
917918
var isInternal = (href) => {
918919
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
919920
}

‎developers/contexts/submodel-condition/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../../">
6868
<link href="../../../developers/transforms/distributions/index.html" rel="next">
6969
<link href="../../../developers/compiler/design-overview/index.html" rel="prev">
70-
<link href="../../../assets/favicon.ico" rel="icon">
70+
<link href="../../..//assets/favicon.ico" rel="icon">
7171
<script src="../../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../../site_libs/quarto-html/popper.min.js"></script>
@@ -121,12 +121,13 @@
121121

122122
<meta property="og:title" content="The Turing Language">
123123
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
124-
<meta property="og:image" content="https://turinglang.org/docs/developers/contexts/submodel-condition/assets/images/turing-text-logo.jpg">
124+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
125125
<meta property="og:site_name" content="Turing.jl">
126+
<meta property="og:image:alt" content="Turing.jl Logo">
126127
<meta property="og:locale" content="en_GB">
127128
<meta name="twitter:title" content="Conditioning and fixing in submodels – Turing.jl">
128129
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
129-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/contexts/submodel-condition/assets/images/turing-text-logo.jpg">
130+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
130131
<meta name="twitter:creator" content="@Hong_Ge2">
131132
<meta name="twitter:site" content="@TuringLang">
132133
<meta name="twitter:card" content="summary_large_image">
@@ -1210,7 +1211,7 @@ <h2 class="anchored" data-anchor-id="loose-ends-2-fixedcontext">Loose ends 2: Fi
12101211
}
12111212
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
12121213
var mailtoRegex = new RegExp(/^mailto:/);
1213-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
1214+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
12141215
var isInternal = (href) => {
12151216
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
12161217
}

‎developers/contributing/index.html

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
<meta name="quarto:offset" content="../../">
6868
<link href="../../developers/compiler/model-manual/index.html" rel="next">
6969
<link href="../../tutorials/gaussian-process-latent-variable-models/index.html" rel="prev">
70-
<link href="../../assets/favicon.ico" rel="icon">
70+
<link href="../..//assets/favicon.ico" rel="icon">
7171
<script src="../../site_libs/quarto-html/quarto.js" type="module"></script>
7272
<script src="../../site_libs/quarto-html/tabsets/tabsets.js" type="module"></script>
7373
<script src="../../site_libs/quarto-html/popper.min.js"></script>
@@ -121,12 +121,13 @@
121121

122122
<meta property="og:title" content="The Turing Language">
123123
<meta property="og:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
124-
<meta property="og:image" content="https://turinglang.org/docs/developers/contributing/assets/images/turing-text-logo.jpg">
124+
<meta property="og:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
125125
<meta property="og:site_name" content="Turing.jl">
126+
<meta property="og:image:alt" content="Turing.jl Logo">
126127
<meta property="og:locale" content="en_GB">
127128
<meta name="twitter:title" content="Contributing – Turing.jl">
128129
<meta name="twitter:description" content="Turing.jl is a probabilistic programming language and Bayesian modelling framework for the Julia programming language.">
129-
<meta name="twitter:image" content="https://turinglang.org/docs/developers/contributing/assets/images/turing-text-logo.jpg">
130+
<meta name="twitter:image" content="https://turinglang.org/docs/assets/images/turing-text-logo.jpg">
130131
<meta name="twitter:creator" content="@Hong_Ge2">
131132
<meta name="twitter:site" content="@TuringLang">
132133
<meta name="twitter:card" content="summary_large_image">
@@ -892,7 +893,7 @@ <h4 class="anchored" data-anchor-id="a-word-on-consistency">A Word on Consistenc
892893
}
893894
var localhostRegex = new RegExp(/^(?:http|https):\/\/localhost\:?[0-9]*\//);
894895
var mailtoRegex = new RegExp(/^mailto:/);
895-
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs\/");
896+
var filterRegex = new RegExp("https:\/\/turinglang\.org\/docs");
896897
var isInternal = (href) => {
897898
return filterRegex.test(href) || localhostRegex.test(href) || mailtoRegex.test(href);
898899
}

0 commit comments

Comments
 (0)