Skip to content

Commit

Permalink
Fix _static -> static
Browse files Browse the repository at this point in the history
  • Loading branch information
@barrettcw
barrettcw committed Jul 18, 2024
1 parent 98998df commit e8db9a7
Show file tree
Hide file tree
Showing 11 changed files with 173 additions and 173 deletions.
30 changes: 15 additions & 15 deletions tutorials/beginners/conclusion.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,25 +5,25 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Conclusion &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="_static/js/theme.js"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="References" href="references.html" />
Expand Down Expand Up @@ -129,4 +129,4 @@
</script>

</body>
</html>
</html>
30 changes: 15 additions & 15 deletions tutorials/beginners/formal.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,26 +5,26 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Formal Foundations &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<script src="_static/js/theme.js"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="SMT Theories" href="theories.html" />
Expand Down Expand Up @@ -291,4 +291,4 @@ <h3>Satisfiability modulo a theory<a class="headerlink" href="#satisfiability-mo
</script>

</body>
</html>
</html>
32 changes: 16 additions & 16 deletions tutorials/beginners/genindex.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,26 +4,26 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Index &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="_static/tabs.js?v=3030b3cb"></script>
<script src="_static/js/theme.js"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script src="static/tabs.js?v=3030b3cb"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="#" />
<link rel="search" title="Search" href="search.html" />
</head>
Expand Down Expand Up @@ -116,4 +116,4 @@ <h1 id="index">Index</h1>
</script>

</body>
</html>
</html>
30 changes: 15 additions & 15 deletions tutorials/beginners/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,26 +5,26 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Satisfiability Modulo Theories: A Beginner’s Tutorial &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<script src="_static/js/theme.js"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Introduction" href="introduction.html" />
Expand Down Expand Up @@ -175,4 +175,4 @@ <h1>Satisfiability Modulo Theories: A Beginner’s Tutorial<a class="headerlink"
</script>

</body>
</html>
</html>
30 changes: 15 additions & 15 deletions tutorials/beginners/introduction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,26 +5,26 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Introduction &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<script src="_static/js/theme.js"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Overview" href="overview.html" />
Expand Down Expand Up @@ -211,4 +211,4 @@
</script>

</body>
</html>
</html>
32 changes: 16 additions & 16 deletions tutorials/beginners/outputs.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,27 +5,27 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>SMT Solver Outputs &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="_static/tabs.js?v=3030b3cb"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script src="static/tabs.js?v=3030b3cb"></script>
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<script src="_static/js/theme.js"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Conclusion" href="conclusion.html" />
Expand Down Expand Up @@ -236,4 +236,4 @@ <h2>Unknown Queries<a class="headerlink" href="#unknown-queries" title="Link to
</script>

</body>
</html>
</html>
32 changes: 16 additions & 16 deletions tutorials/beginners/overview.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,27 +5,27 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Overview &mdash; Satisfiability Modulo Theories: A Beginner&#39;s Tutorial documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="_static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="_static/custom.css?v=b9602cbe" />
<link rel="stylesheet" type="text/css" href="static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="static/css/theme.css?v=19f00094" />
<link rel="stylesheet" type="text/css" href="static/copybutton.css?v=76b2166b" />
<link rel="stylesheet" type="text/css" href="static/tabs.css?v=a5c4661c" />
<link rel="stylesheet" type="text/css" href="static/custom.css?v=b9602cbe" />


<!--[if lt IE 9]>
<script src="_static/js/html5shiv.min.js"></script>
<script src="static/js/html5shiv.min.js"></script>
<![endif]-->

<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=9a2dae69"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/clipboard.min.js?v=a7894cd8"></script>
<script src="_static/copybutton.js?v=f281be69"></script>
<script src="_static/tabs.js?v=3030b3cb"></script>
<script src="static/jquery.js?v=5d32c60e"></script>
<script src="static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="static/documentation_options.js?v=5929fcd5"></script>
<script src="static/doctools.js?v=9a2dae69"></script>
<script src="static/sphinx_highlight.js?v=dc90522c"></script>
<script src="static/clipboard.min.js?v=a7894cd8"></script>
<script src="static/copybutton.js?v=f281be69"></script>
<script src="static/tabs.js?v=3030b3cb"></script>
<script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
<script src="_static/js/theme.js"></script>
<script src="static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Formal Foundations" href="formal.html" />
Expand Down Expand Up @@ -355,4 +355,4 @@
</script>

</body>
</html>
</html>
Loading

0 comments on commit e8db9a7

Please sign in to comment.