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