Deploying to gh-pages from @ 125a08b 🚀

ekpyron · May 9, 2024 · f28f825 · f28f825
1 parent b0f9bd9
commit f28f825
Show file tree

Hide file tree

Showing 8 changed files with 4 additions and 4 deletions.
diff --git a/AOT/AOT/.browser_info/build_uuid b/AOT/AOT/.browser_info/build_uuid
@@ -1 +1 @@
-52b2587b-691e-4698-b24e-2b5aa8052ea8
+6dab501f-f5dd-4dd2-b29c-62a67002c6ee
diff --git a/AOT/AOT/AOT_NaturalNumbers.html b/AOT/AOT/AOT_NaturalNumbers.html
diff --git a/AOT/AOT/session_graph.pdf b/AOT/AOT/session_graph.pdf
diff --git a/AOT_Possibilities.html b/AOT_Possibilities.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta charset="utf-8">
-<meta http-equiv="refresh" content="0; URL=AOT/AOT/index.html">
+<meta http-equiv="refresh" content="0; URL=AOT/AOT/AOT_Possibilities.html">
 <title>Redirect to AOT/AOT/AOT_Possibilities.html</title>
 </head>
 <body>

diff --git a/HOL/HOL-Cardinals/.browser_info/build_uuid b/HOL/HOL-Cardinals/.browser_info/build_uuid
@@ -1 +1 @@
-52b2587b-691e-4698-b24e-2b5aa8052ea8
+6dab501f-f5dd-4dd2-b29c-62a67002c6ee
diff --git a/HOL/HOL-Cardinals/session_graph.pdf b/HOL/HOL-Cardinals/session_graph.pdf
diff --git a/HOL/HOL/session_graph.pdf b/HOL/HOL/session_graph.pdf
diff --git a/Pure/Pure/session_graph.pdf b/Pure/Pure/session_graph.pdf