tuned spelling;

clarified component settings;

unused;

obsolete (see 3ee6947bfb34);

clarified signature: allow to add_files/get_files by other tools;

more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;

clarified modules;

proper menu accelerator font for Java 11 (no update of jedit-build component yet);

more general command 'generate_file' for registered file types, notably Haskell; discontinued 'generate_haskell_file', 'export_haskell_file'; eliminated generated sources: compile files in tmp dir;

tuned imports;

more robust: avoid broken tar.gz;

more Isabelle fonts;

use Isabelle fonts for all GUI look-and-feels;

tuned;

use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);

clarified "hidden" terminology; updated component;

generate full component;

clarified target_dir;

generate Vacuous font from domain of Isabelle fonts;

more robust: enforce Unicode range;

prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf);

clarified signature: fonts are not dependent on GUI;

tuned signature;

clarified signature;

avoid loading of font file, to eliminate "Illegal reflective access by com.lowagie.text.pdf.MappedRandomAccessFile$1 (iText-2.1.5.jar) to method java.nio.DirectByteBuffer.cleaner()" -- due to com.lowagie.text.pdf.TrueTypeFont.process() / RandomAccessFileOrArray;

proper font file name for HTTP (amending dc9a39c3f75d); clarified Entry content;

clarified order;

tuned whitespace;

clarified symbol groups;

more explicit Isabelle_Fonts.Entry; more robust font embedding into PDF and HTML;

prefer Isabelle_Fonts.sans for GUI;

prefer Isabelle_Fonts.sans (not mono) as derived GUI font;

clarified signature;

proper file names;

clarified modules;

clarified Admin resources; tuned comments;

adjusted to fc221fa79741;

obsolete (see fc221fa79741);

adjusted to fc221fa79741;

adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);

more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups; tuned signature;

more robust (amending 76979adf0b96);

more robust: avoid broken YXML due to Markup.empty;

expose latex mode operations, to facilitate adhoc changes to it;

tuned signature (see also src/Tools/Haskell/Markup.hs);

tuned spelling;

use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;

more shell functions;

proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";

spontaneous update of .sfd files due to fontforge;

clarified module name (again);

clarified file name;

added Isabelle tool wrapper;

support for build_fonts; treat Hebrew like math symbols: it is absent in Deja Vu Sans Mono;

more operations;

clarified font_domain: strict excludes e.g. space character;

proper documentation; more operations;

clarified;

tuned comments -- based on history;

support for construction of Isabelle fonts;

tuned error; tuned;

support for fontforge and its scripting language;

tuned;

tuned;