12 months ago wenzelm 2018-11-30 use Isabelle fonts for all GUI look-and-feels;
12 months ago wenzelm 2018-11-30 tuned;
12 months ago wenzelm 2018-11-30 use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);
12 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
12 months ago wenzelm 2018-11-29 generate full component;
12 months ago wenzelm 2018-11-29 clarified target_dir;
12 months ago wenzelm 2018-11-29 generate Vacuous font from domain of Isabelle fonts;
12 months ago wenzelm 2018-11-29 more robust: enforce Unicode range;
12 months ago wenzelm 2018-11-28 prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf);
12 months ago wenzelm 2018-11-28 clarified signature: fonts are not dependent on GUI;
12 months ago wenzelm 2018-11-28 tuned signature;
12 months ago wenzelm 2018-11-28 clarified signature;
12 months ago wenzelm 2018-11-28 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;
12 months ago wenzelm 2018-11-28 proper font file name for HTTP (amending dc9a39c3f75d); clarified Entry content;
12 months ago wenzelm 2018-11-28 clarified order;
12 months ago wenzelm 2018-11-28 tuned whitespace;
12 months ago wenzelm 2018-11-28 clarified symbol groups;
12 months ago wenzelm 2018-11-28 more explicit Isabelle_Fonts.Entry; more robust font embedding into PDF and HTML;
12 months ago wenzelm 2018-11-28 prefer Isabelle_Fonts.sans for GUI;
12 months ago wenzelm 2018-11-28 prefer Isabelle_Fonts.sans (not mono) as derived GUI font;
12 months ago wenzelm 2018-11-28 clarified signature;
12 months ago wenzelm 2018-11-28 proper file names;
12 months ago wenzelm 2018-11-28 clarified modules;
12 months ago wenzelm 2018-11-28 clarified Admin resources; tuned comments;
12 months ago wenzelm 2018-11-27 adjusted to fc221fa79741;
12 months ago wenzelm 2018-11-27 obsolete (see fc221fa79741);
12 months ago wenzelm 2018-11-27 adjusted to fc221fa79741;
12 months ago wenzelm 2018-11-27 adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
12 months ago wenzelm 2018-11-27 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;
12 months ago wenzelm 2018-11-27 more robust (amending 76979adf0b96);
12 months ago wenzelm 2018-11-27 more robust: avoid broken YXML due to Markup.empty;
12 months ago wenzelm 2018-11-25 expose latex mode operations, to facilitate adhoc changes to it;
12 months ago wenzelm 2018-11-25 tuned signature (see also src/Tools/Haskell/Markup.hs);
12 months ago wenzelm 2018-11-25 tuned spelling;
12 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
12 months ago wenzelm 2018-11-24 more shell functions;
12 months ago wenzelm 2018-11-24 proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
12 months ago wenzelm 2018-11-24 spontaneous update of .sfd files due to fontforge;
12 months ago wenzelm 2018-11-24 clarified module name (again);
12 months ago wenzelm 2018-11-23 clarified file name;
12 months ago wenzelm 2018-11-23 added Isabelle tool wrapper;
12 months ago wenzelm 2018-11-23 support for build_fonts; treat Hebrew like math symbols: it is absent in Deja Vu Sans Mono;
12 months ago wenzelm 2018-11-23 more operations;
12 months ago wenzelm 2018-11-23 clarified font_domain: strict excludes e.g. space character;
12 months ago wenzelm 2018-11-23 proper documentation; more operations;
12 months ago wenzelm 2018-11-23 clarified;
12 months ago wenzelm 2018-11-23 tuned comments -- based on history;
12 months ago wenzelm 2018-11-22 support for construction of Isabelle fonts;
12 months ago wenzelm 2018-11-22 tuned error; tuned;
12 months ago wenzelm 2018-11-22 support for fontforge and its scripting language;
12 months ago wenzelm 2018-11-22 tuned;
12 months ago wenzelm 2018-11-22 tuned;
12 months ago haftmann 2018-11-22 removed legacy input syntax
12 months ago haftmann 2018-11-22 avoid compound operator
12 months ago wenzelm 2018-11-21 updated version;
12 months ago wenzelm 2018-11-21 more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors);
12 months ago wenzelm 2018-11-21 tuned;
12 months ago wenzelm 2018-11-21 more comment markup;
13 months ago wenzelm 2018-11-20 tuned -- refining auto-update 15e9ed5b28fb;
13 months ago wenzelm 2018-11-20 clarified presentation;