Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
  2. more shell functions;
  3. proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
  4. spontaneous update of .sfd files due to fontforge;
  5. clarified module name (again);
Changeset 69343:395c4fb15ea2 by wenzelm:
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified etc/isabelle.css (diff)
The file was modified etc/symbols (diff)
The file was modified lib/fonts/README (diff)
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 69342:fa981730b964 by wenzelm:
more shell functions;
The file was modified lib/scripts/getfunctions (diff)
Changeset 69341:6aa24ccd8049 by wenzelm:
proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
The file was modified lib/fonts/IsabelleText.sfd (diff)
The file was modified lib/fonts/IsabelleTextBold.sfd (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 69340:f8f8270188b4 by wenzelm:
spontaneous update of .sfd files due to fontforge;
The file was modified lib/fonts/IsabelleText.sfd (diff)
The file was modified lib/fonts/IsabelleTextBold.sfd (diff)
Changeset 69339:6baa37cbf70b by wenzelm:
clarified module name (again);
The file was addedsrc/Pure/Admin/build_fonts.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Admin/isabelle_fonts.scala