Skip to content

Commit

Permalink
Deploying to gh-pages from @ 441ea2e 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
Tara committed Dec 5, 2024
1 parent 73af4f0 commit d9f3f9b
Show file tree
Hide file tree
Showing 16 changed files with 16 additions and 16 deletions.
2 changes: 1 addition & 1 deletion 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -848,7 +848,7 @@ <h1>404 - Not found</h1>

<div class="md-copyright__highlight">
&copy; 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>

Expand Down
2 changes: 1 addition & 1 deletion diagrams.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -415,7 +415,7 @@ <h1 id="diagrams-with-kroki">Diagrams with Kroki<a class="headerlink" href="#dia
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion everything.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -435,7 +435,7 @@ <h1 id="everything">Everything<a class="headerlink" href="#everything" title="Pe
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion images.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -446,7 +446,7 @@ <h4 id="displayed-image-example">Displayed Image Example<a class="headerlink" hr
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -454,7 +454,7 @@ <h3 id="quick-start">Quick Start<a class="headerlink" href="#quick-start" title=
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion isabelle.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -430,7 +430,7 @@ <h1 id="juvix-can-be-used-to-generate-isabelle-theories">Juvix can be used to ge
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion test.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -436,7 +436,7 @@ <h1 id="test">Test<a class="headerlink" href="#test" title="Permanent link">¶</
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/bibliography.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -431,7 +431,7 @@ <h2 id="citations">Citations<a class="headerlink" href="#citations" title="Perma
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/diagrams_using_kroki.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -423,7 +423,7 @@ <h1 id="diagrams-using-kroki">Diagrams using Kroki<a class="headerlink" href="#d
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/hello.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -429,7 +429,7 @@ <h1>Hello World</h1>
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/installation.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -481,7 +481,7 @@ <h2 id="building-and-running">Building and Running<a class="headerlink" href="#b
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/isabelle.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -461,7 +461,7 @@ <h2 id="including-generated-files">Including Generated Files<a class="headerlink
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/juvix_markdown.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -532,7 +532,7 @@ <h2 id="disabling-processing">Disabling Processing<a class="headerlink" href="#d
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/snippets.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -457,7 +457,7 @@ <h3 id="snippet-for-generated-isabelle-files">Snippet for generated Isabelle fil
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/todos.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -428,7 +428,7 @@ <h2 id="usage">Usage<a class="headerlink" href="#usage" title="Permanent link">
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down
2 changes: 1 addition & 1 deletion tutorial/wikilinks.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -534,7 +534,7 @@ <h3 id="list-of-wiki-style-links-per-page">List of wiki-style links per Page<a c
<div class="md-copyright">
<div class="md-copyright__highlight">
© 2024 <a href="https://github.com/anoma/juvix-mkdocs">juvix-mkdocs</a> - Last updated: December 05, 2024
at 11:52 AM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
at 01:13 PM UTC - Powered by Mkdocs, Material for Mkdocs, Juvix, and
Juvix-Mkdocs.
</div>
</div>
Expand Down

0 comments on commit d9f3f9b

Please sign in to comment.