Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified file name;
  2. added Isabelle tool wrapper;
  3. support for build_fonts; treat Hebrew like math symbols: it is absent in Deja Vu Sans Mono;
  4. more operations;
  5. clarified font_domain: strict excludes e.g. space character;
  6. proper documentation; more operations;
  7. clarified;
  8. tuned comments -- based on history;
Changeset 69338:0e3e66197a18 by wenzelm:
clarified file name;
The file was addedsrc/Pure/Admin/isabelle_fonts.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/isabelle_fonts.scala
Changeset 69337:aa94b3b5aa0b by wenzelm:
added Isabelle tool wrapper;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/isabelle_fonts.scala (diff)
Changeset 69336:14444ea196a0 by wenzelm:
support for build_fonts;<br>treat Hebrew like math symbols: it is absent in Deja Vu Sans Mono;
The file was modified src/Pure/Tools/isabelle_fonts.scala (diff)
Changeset 69335:76c8beaf3bab by wenzelm:
more operations;
The file was modified src/Pure/Tools/fontforge.scala (diff)
Changeset 69334:6b49700da068 by wenzelm:
clarified font_domain: strict excludes e.g. space character;
The file was modified src/Pure/Tools/fontforge.scala (diff)
Changeset 69333:c889afca73a5 by wenzelm:
proper documentation;<br>more operations;
The file was modified src/Pure/Tools/fontforge.scala (diff)
Changeset 69332:85ccc983748c by wenzelm:
clarified;
The file was modified src/Pure/Tools/isabelle_fonts.scala (diff)
Changeset 69331:85cafb6e4db0 by wenzelm:
tuned comments -- based on history;
The file was modified src/Pure/Tools/isabelle_fonts.scala (diff)