Added navbar and removed insert_navbar.sh

TuringLang · Jul 4, 2024 · 834aecc · 834aecc
1 parent d3922b6
commit 834aecc
Show file tree

Hide file tree

Showing 48 changed files with 21,480 additions and 47 deletions.
diff --git a/dev/index.html b/dev/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/"/>
+
diff --git a/previews/PR100/index.html b/previews/PR100/index.html
diff --git a/previews/PR100/search/index.html b/previews/PR100/search/index.html
diff --git a/previews/PR101/index.html b/previews/PR101/index.html
diff --git a/previews/PR101/search/index.html b/previews/PR101/search/index.html
diff --git a/previews/PR98/index.html b/previews/PR98/index.html
diff --git a/previews/PR98/search/index.html b/previews/PR98/search/index.html
diff --git a/previews/PR99/index.html b/previews/PR99/index.html
diff --git a/previews/PR99/search/index.html b/previews/PR99/search/index.html
diff --git a/v0.1.0/index.html b/v0.1.0/index.html
diff --git a/v0.1.0/search/index.html b/v0.1.0/search/index.html
diff --git a/v0.1.1/index.html b/v0.1.1/index.html
diff --git a/v0.1.1/search/index.html b/v0.1.1/search/index.html
diff --git a/v0.1.2/index.html b/v0.1.2/index.html
diff --git a/v0.1.2/search/index.html b/v0.1.2/search/index.html
diff --git a/v0.1.3/index.html b/v0.1.3/index.html
diff --git a/v0.1.3/search/index.html b/v0.1.3/search/index.html
diff --git a/v0.1.4/index.html b/v0.1.4/index.html
diff --git a/v0.1.4/search/index.html b/v0.1.4/search/index.html
diff --git a/v0.1.5/index.html b/v0.1.5/index.html
diff --git a/v0.1.5/search/index.html b/v0.1.5/search/index.html
diff --git a/v0.2.0/index.html b/v0.2.0/index.html
diff --git a/v0.2.0/search/index.html b/v0.2.0/search/index.html
diff --git a/v0.2.1/index.html b/v0.2.1/index.html
diff --git a/v0.2.1/search/index.html b/v0.2.1/search/index.html
diff --git a/v0.2.2/index.html b/v0.2.2/index.html
diff --git a/v0.2.2/search/index.html b/v0.2.2/search/index.html
diff --git a/v0.2.3/index.html b/v0.2.3/index.html
diff --git a/v0.2.3/search/index.html b/v0.2.3/search/index.html
diff --git a/v0.3.0/index.html b/v0.3.0/index.html
diff --git a/v0.3.0/search/index.html b/v0.3.0/search/index.html
diff --git a/v0.3.1/index.html b/v0.3.1/index.html
diff --git a/v0.3.1/search/index.html b/v0.3.1/search/index.html
diff --git a/v0.3.10/index.html b/v0.3.10/index.html
diff --git a/v0.3.2/index.html b/v0.3.2/index.html
diff --git a/v0.3.2/search/index.html b/v0.3.2/search/index.html
diff --git a/v0.3.3/index.html b/v0.3.3/index.html
diff --git a/v0.3.3/search/index.html b/v0.3.3/search/index.html
diff --git a/v0.3.4/index.html b/v0.3.4/index.html
diff --git a/v0.3.4/search/index.html b/v0.3.4/search/index.html
diff --git a/v0.3.5/index.html b/v0.3.5/index.html
diff --git a/v0.3.5/search/index.html b/v0.3.5/search/index.html
diff --git a/v0.3.6/index.html b/v0.3.6/index.html
diff --git a/v0.3.6/search/index.html b/v0.3.6/search/index.html
diff --git a/v0.3.7/index.html b/v0.3.7/index.html
diff --git a/v0.3.8/index.html b/v0.3.8/index.html
diff --git a/v0.3.9/index.html b/v0.3.9/index.html
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1,3 @@
		<!--This file is automatically generated by Documenter.jl-->
		<meta http-equiv="refresh" content="0; url=./stable/"/>