Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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;
  5. clarified example: avoid unpacking into /home/isabelle/components at TUM;
  6. clarified settings and defaults;
Changeset 69439:22d4cb91ea6d by wenzelm:
tuned message;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 69438:b578749daa62 by wenzelm:
updated to scala-2.12.8;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
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 (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
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 (diff)
The file was removedAdmin/isabelle_fonts/IsabelleText.sfd
The file was removedAdmin/isabelle_fonts/IsabelleTextBold.sfd
Changeset 69435:e18e4532fb42 by wenzelm:
clarified example: avoid unpacking into /home/isabelle/components at TUM;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 69434:b93404a4c3dd by wenzelm:
clarified settings and defaults;
The file was modified etc/settings (diff)
The file was modified lib/Tools/components (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)