Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper file names;
authorwenzelm
Wed, 28 Nov 2018 11:41:49 +0100
changeset 69356 32f886aaf9c0
parent 69355 cdc2de88d657
child 69357 acd0d72c560b
proper file names;
src/Pure/Thy/html.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/html.scala	Wed Nov 28 11:28:02 2018 +0100
+++ b/src/Pure/Thy/html.scala	Wed Nov 28 11:41:49 2018 +0100
@@ -381,8 +381,8 @@
       font_face("Isabelle DejaVu Sans", "IsabelleDejaVuSans-BoldOblique.ttf", bold = true, italic = true),
       font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif.ttf"),
       font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Bold.ttf", bold = true),
-      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Oblique.ttf", italic = true),
-      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-BoldOblique.ttf", bold = true, italic = true),
+      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-Italic.ttf", italic = true),
+      font_face("Isabelle DejaVu Serif", "IsabelleDejaVuSerif-BoldItalic.ttf", bold = true, italic = true),
       font_face("Vacuous", "Vacuous.ttf")).mkString("\n\n")
   }
isabelle