restore docs/IsarMathLib/fonts

SKolodynski · Mar 24, 2024 · 09efbc8 · 09efbc8
1 parent 5fba174
commit 09efbc8
Show file tree

Hide file tree

Showing 13 changed files with 0 additions and 0 deletions.
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Bold.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-BoldOblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-BoldOblique.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Oblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans-Oblique.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSans.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSans.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Bold.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-BoldOblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-BoldOblique.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Oblique.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono-Oblique.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSansMono.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Bold.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Bold.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-BoldItalic.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-BoldItalic.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Italic.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif-Italic.ttf
diff --git a/docs/IsarMathLib/fonts/IsabelleDejaVuSerif.ttf b/docs/IsarMathLib/fonts/IsabelleDejaVuSerif.ttf
diff --git a/docs/IsarMathLib/fonts/Vacuous.ttf b/docs/IsarMathLib/fonts/Vacuous.ttf