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;

removed legacy input syntax

avoid compound operator

updated version;

more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors);

tuned;

more comment markup;

tuned -- refining auto-update 15e9ed5b28fb;

clarified presentation;

merged

Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.

more Haskell operations;

unused -- left-over from Proof General;

removed legacy input syntax

added and tuned lemmas

more Java 11 illegal-access warnings;

prefer more powerful machine;

renovated macOS tests;

proper citation (amending d8205bb279a7);

proper citation (amending 98ba42f19995);

merged

prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";

more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;

more uniform wrt. File.find_files;

proper use of stat() vs. lstat() (for symlinks);

more uniform find_files, notably for symlinks;

is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;

clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches");

fixed import

extract example for ab_group_add_on_with

generalized local_typedef_ab_group_add

use locales in Group_On_With

more robust;

clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";

tuned;

more Haskell operations;

tuned signature;

clarified signature;

more Haskell operations; more accurate exports; tuned;

proper export;

tuned

merged

more [simp]

clarified display name;

added ML antiquotation @{master_dir};

tuned signature;

more formal references;

more Haskell antiquotations;

more Haskell operations;

support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;

replaced some ancient ASCII syntax

clarified status of legacy input abbreviations

clarified status of ancient ASCII syntax for big union and inter

NEWS;

isabelle update_cartouches -t;

update ROOT files as well: treated like .thy in Isabelle/jEdit;

clarified isabelle_fonts license, to be used when the component is updated next time;

tuned whitespace;

clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;

always insist in specified resolver/compiler version;

proper ML expressions, without trailing semicolons;

insist in specified resolver/compiler version;

simplified -- according to regular "ghci" script;

clarified ML positions (see also 1a52baa70aed);

more standard Resources.provide_parse_files: avoid duplicate markup reports;

more uniform (see 1722cc56d22e);

removed relics of ASCII syntax for indexed big operators

tuned;

obsolete;

clarified signature;

more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);

more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;

merged

proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);

dedicated examples for sorting

more direct implementations of comparators

generic merge sort

merged

more Haskell operations;

tuned;

concrecte sorting algorithms beyond insertion sort

proper self_update for isolated host;

renovated macOS tests;

support remote_build_history with optional ghc_setup / ocaml_setup;

more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);

clarified names;

more Haskell operations; tuned;

support sub-directories, i.e. structure module names;

prefer symbolic path: it is potentially persisted;

tuned (see map_index);

tuned;

simplified proof, moved lemma, added lemma

more Haskell operations;