Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster; NB: no bold version of 0x2900 due to fontforge crash "Internal Error: Some fragments did not join";
  2. tuned message;
  3. proper directory of settings file; tuned;
Changeset 73446:d1c4c2395650 by wenzelm:
more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;<br>NB: no bold version of 0x2900 due to fontforge crash &quot;Internal Error: Some fragments did not join&quot;;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbols.sfd (diff)
The file was modified Admin/isabelle_fonts/IsabelleSymbolsBold.sfd (diff)
The file was modified Admin/isabelle_fonts/README (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified etc/symbols (diff)
The file was modified lib/texinputs/isabellesym.sty (diff)
The file was modified src/Doc/Isar_Ref/document/root.tex (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 73445:f817692c929f by wenzelm:
tuned message;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 73444:02ea468ecf07 by wenzelm:
proper directory of settings file;<br>tuned;
The file was modified src/Pure/Admin/build_fonts.scala (diff)