Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned message;
  2. updated to scala-2.12.8;
  3. more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
  4. clarified names;
Changeset 69439:22d4cb91ea6d by wenzelm:
tuned message;
The file was modified src/Pure/Admin/components.scala
Changeset 69438:b578749daa62 by wenzelm:
updated to scala-2.12.8;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 69437:1b64f82aaf76 by wenzelm:
more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd
The file was modified src/Pure/Admin/build_fonts.scala
Changeset 69436:1b406949981f by wenzelm:
clarified names;
The file was addedAdmin/isabelle_fonts/IsabelleSymbols.sfd
The file was addedAdmin/isabelle_fonts/IsabelleSymbolsBold.sfd
The file was modified src/Pure/Admin/build_fonts.scala
The file was removedAdmin/isabelle_fonts/IsabelleText.sfd
The file was removedAdmin/isabelle_fonts/IsabelleTextBold.sfd