Added navbar and removed insert_navbar.sh

TuringLang · Sep 17, 2024 · 8d5b5f8 · 8d5b5f8
1 parent 46e17af
commit 8d5b5f8
Show file tree

Hide file tree

Showing 15 changed files with 6,441 additions and 14 deletions.
diff --git a/dev/BUGS_notes/index.html b/dev/BUGS_notes/index.html
diff --git a/dev/R_interface/index.html b/dev/R_interface/index.html
diff --git a/dev/api/index.html b/dev/api/index.html
diff --git a/dev/bugs_lang/index.html b/dev/bugs_lang/index.html
diff --git a/dev/differences/index.html b/dev/differences/index.html
diff --git a/dev/distributions/index.html b/dev/distributions/index.html
diff --git a/dev/example/index.html b/dev/example/index.html
diff --git a/dev/functions/index.html b/dev/functions/index.html
diff --git a/dev/graph_plotting/index.html b/dev/graph_plotting/index.html
diff --git a/dev/index.html b/dev/index.html
diff --git a/dev/parser/index.html b/dev/parser/index.html
diff --git a/dev/pitfalls/index.html b/dev/pitfalls/index.html
diff --git a/dev/search/index.html b/dev/search/index.html
diff --git a/dev/user_defined_functions/index.html b/dev/user_defined_functions/index.html
diff --git a/index.html b/index.html
@@ -1,2 +1,3 @@
 <!--This file is automatically generated by Documenter.jl-->
 <meta http-equiv="refresh" content="0; url=./stable/"/>
+