clarified protocol;

clarified signature;

more Haskell operations; clarified signature;

tuned signature;

clarified signature, e.g. for re-use by other servers;

more Haskell operations;

clarified modules and signature;

tagged more of HOL-Analysis

merged;

more Haskell operations;

more uniform multi-language operations; misc tuning and clarification;

more Haskell operations;

more uniform multi-language operations; misc tuning and clarification;

more uniform multi-language operations; clarified modules and signature;

more operations (as in ML);

more uniform multi-language operations; clarified modules and signature;

more uniform multi-language operations;

Tagged some of HOL-Analysis

more Haskell operations;

tuned headers;

more formal Haskell project setup, with dependencies on packages from "stackage";

tuned signature;

tuned proofs;

clarified modules, following bytes.scala;

clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);

tuned message;

updated to scala-2.12.8;

more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);

clarified names;

clarified example: avoid unpacking into /home/isabelle/components at TUM;

clarified settings and defaults;

merged

discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;

clarified defaults for Windows/Cygwin hybrid;

proper path before tar -C context switch;

replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; more robust Component.Archive name: avoid rm_tree accidents;

clarified sort order (again, see also 81a75d9a9a4e);

clarified operations: uniform sorting of results;

clarified modules;

clarified gnutar options: more uniform owner;

clarified application bundling: discontinued redundant archives;

Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.

clarified session dependencies: faster build_doc/build_release;

merged

updated to modern symbols

updated to stack-1.9.3; proper settings for Windows;

more robust;

tuned;

obsolete;

clarified error;

clarified defaults: explicit "rev" takes precedence;

more explicit Components.Archive; support additional components, which also enforces clean bundling;

proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);

tuned message;

more explicit Platform.Family;

clarified doc sections: add-on components may focus their own application name;

more robust, notably for macos /var vs. /private/var;

more robust: "gtar" is default name in Homebrew;

tuned;

more direct File.executable operation: avoid external process (on Unix);

clarified absolute isabelle_home and (implicitly) isabelle_home_user;

tuned messages;

more direct File.link operation: avoid external process;

eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;

tuned;

updated to jedit_build-20181203 (according to d70767e508d7);

Components.download similar to "isabelle components", but without unpacking;

clarified signature;

clarified signature;

more explicit support for Isabelle system components; activate_bundled_components: check component dir as in makedist_bundle;

more operations;

static type for Library.using: avoid Java 11 warnings on "Illegal reflective access"; more uses of "using";

tuned;

manage components similar to makedist_bundle (still inactive);

distribution_classpath as in makedist_bundle;

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);