Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified "hidden" terminology; updated component;
  2. generate full component;
  3. clarified target_dir;
  4. generate Vacuous font from domain of Isabelle fonts;
  5. more robust: enforce Unicode range;
Changeset 69374:ab66951166f3 by wenzelm:
clarified &quot;hidden&quot; terminology;<br>updated component;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/System/isabelle_fonts.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
Changeset 69373:2c0af1c2e723 by wenzelm:
generate full component;
The file was modified Admin/isabelle_fonts/README (diff)
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 69372:69de0f561824 by wenzelm:
clarified target_dir;
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 69371:3539767d5c61 by wenzelm:
generate Vacuous font from domain of Isabelle fonts;
The file was modified src/Pure/Admin/build_fonts.scala (diff)
Changeset 69370:589896fe1df2 by wenzelm:
more robust: enforce Unicode range;
The file was modified src/Pure/Tools/fontforge.scala (diff)