Skip to content

Commit edba6ad

Browse files
github-actions[bot]github-actions[bot]
committed
Publish docs @ 6555834 
1 parent 4ff1b43 commit edba6ad

File tree

108 files changed

+5252
-5204
lines changed

Some content is hidden

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

108 files changed

+5252
-5204
lines changed

‎404.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -43,9 +43,9 @@
4343
<link href="/docs/site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
4444
<script src="/docs/site_libs/bootstrap/bootstrap.min.js"></script>
4545
<link href="/docs/site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
46-
<link href="/docs/site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
47-
<link href="/docs/site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
48-
<link href="/docs/site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
46+
<link href="/docs/site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
47+
<link href="/docs/site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
48+
<link href="/docs/site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
4949
<script id="quarto-search-options" type="application/json">{
5050
"location": "navbar",
5151
"copy-button": false,

‎changelog.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -78,9 +78,9 @@
7878
<link href="site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
7979
<script src="site_libs/bootstrap/bootstrap.min.js"></script>
8080
<link href="site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
81-
<link href="site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
82-
<link href="site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
83-
<link href="site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
81+
<link href="site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
82+
<link href="site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
83+
<link href="site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8484
<script id="quarto-search-options" type="application/json">{
8585
"location": "navbar",
8686
"copy-button": false,

‎core-functionality/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

‎developers/contributing/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,9 +80,9 @@
8080
<link href="../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
8181
<script src="../../site_libs/bootstrap/bootstrap.min.js"></script>
8282
<link href="../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
83-
<link href="../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84-
<link href="../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85-
<link href="../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
83+
<link href="../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
84+
<link href="../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
85+
<link href="../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8686
<script id="quarto-search-options" type="application/json">{
8787
"location": "navbar",
8888
"copy-button": false,

‎developers/inference/abstractmcmc-interface/index.html‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -78,9 +78,9 @@
7878
<link href="../../../site_libs/quarto-html/quarto-syntax-highlighting-a6e161b2431e1f94a14e0f5d32135a3c.css" rel="stylesheet" class="quarto-color-scheme-extra" id="quarto-text-highlighting-styles">
7979
<script src="../../../site_libs/bootstrap/bootstrap.min.js"></script>
8080
<link href="../../../site_libs/bootstrap/bootstrap-icons.css" rel="stylesheet">
81-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
82-
<link href="../../../site_libs/bootstrap/bootstrap-dark-efbb2b21aef954ede5966910a3c52bd6.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
83-
<link href="../../../site_libs/bootstrap/bootstrap-dd36dd2691aefc3bcb9975107d61685a.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
81+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme" id="quarto-bootstrap" data-mode="light">
82+
<link href="../../../site_libs/bootstrap/bootstrap-dark-daced73e500b6129925aeb379e691f92.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme quarto-color-alternate" id="quarto-bootstrap" data-mode="dark">
83+
<link href="../../../site_libs/bootstrap/bootstrap-4157cea7e07fa8cde9040ade24ea50a7.min.css" rel="stylesheet" append-hash="true" class="quarto-color-scheme-extra" id="quarto-bootstrap" data-mode="light">
8484
<script id="quarto-search-options" type="application/json">{
8585
"location": "navbar",
8686
"copy-button": false,

0 commit comments

Comments
 (0)