Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;
  2. clarified modules;
  3. proper menu accelerator font for Java 11 (no update of jedit-build component yet);
Changeset 69384:0c7d8b1b6594 by wenzelm:
more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 69383:747f8b052e59 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Tools/generated_files.ML
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
The file was removedsrc/Pure/Tools/generate_file.ML
Changeset 69382:d70767e508d7 by wenzelm:
proper menu accelerator font for Java 11 (no update of jedit-build component yet);
The file was addedsrc/Tools/jEdit/patches/accelerator_font