First gh-pages checkin

hbr · May 2, 2023 · 2a7e7b8 · 2a7e7b8
commit 2a7e7b8
Show file tree

Hide file tree

Showing 175 changed files with 140,954 additions and 0 deletions.
diff --git a/.nojekyll b/.nojekyll
diff --git a/index.html b/index.html
@@ -0,0 +1 @@
+Under construction
diff --git a/odoc/_odoc_support/fonts/KaTeX_AMS-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_AMS-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2 b/odoc/_odoc_support/fonts/KaTeX_Caligraphic-Bold.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Caligraphic-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2 b/odoc/_odoc_support/fonts/KaTeX_Fraktur-Bold.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Fraktur-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Main-Bold.woff2 b/odoc/_odoc_support/fonts/KaTeX_Main-Bold.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2 b/odoc/_odoc_support/fonts/KaTeX_Main-BoldItalic.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Main-Italic.woff2 b/odoc/_odoc_support/fonts/KaTeX_Main-Italic.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Main-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Main-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2 b/odoc/_odoc_support/fonts/KaTeX_Math-BoldItalic.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Math-Italic.woff2 b/odoc/_odoc_support/fonts/KaTeX_Math-Italic.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2 b/odoc/_odoc_support/fonts/KaTeX_SansSerif-Bold.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2 b/odoc/_odoc_support/fonts/KaTeX_SansSerif-Italic.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_SansSerif-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Script-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Script-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Size1-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Size1-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Size2-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Size2-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Size3-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Size3-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Size4-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Size4-Regular.woff2
diff --git a/odoc/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2 b/odoc/_odoc_support/fonts/KaTeX_Typewriter-Regular.woff2
diff --git a/odoc/_odoc_support/highlight.pack.js b/odoc/_odoc_support/highlight.pack.js
diff --git a/odoc/_odoc_support/katex.min.css b/odoc/_odoc_support/katex.min.css
diff --git a/odoc/_odoc_support/katex.min.js b/odoc/_odoc_support/katex.min.js