operations for all components;

clarified signature;

merged

rebuild component;

expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER;

support expand_platform_path, which is reminiscent of isabelle.Path.expand;

skip scalac for Java build;

support mixed Scala/Java build; clarified scalac/javac options;

clarified javac options;

clarified syntax: similar to URL;

clarified signature;

more robust;

more robust;

more compiler_deps via "requirements", notably jar list from settings; proper Files.createDirectories;

clarified component settings;

clarified shasum: sources / resources within jar;

tuned signature;

clarified modules;

merged

fixed HOL-TPTP following f58108b7a60c

documented Sledgehammer option "induction_rules"

refactored Sledgehammer option "induction_rules"

promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules"

jenkins: add pre/post-hook results for benchmark

remove SpecCheck; it is now part of the AFP

merged

added documentation for changes to Sledgehammer option "lam_trans"

jenkins: pre/post-hook results

merged

added opaque_combs and renamed hide_lams to opaque_lifting

more robust treatment of empty string;

invoke Scala compiler from Java, without external process; tuned messages;

clarified version: Apple now counts like 11, 12, ...;

Imported lots of material from Stirling_Formula/Gamma_Asymptotics

merged

arg for the nonstandard complex numbers

merged

converting arg to Arg

just a bit of tidying up

create jar in pure Java;

tuned signature;

clarified order;

proper treatment of leading zero;

support for jar resources;

tuned whitespace;

tuned signature;

tuned;

support for Isabelle/Scala in pure Java;

tuned signature;

clarified directories;

clarified modules and signatures;

back to scala-2.13.5: avoid problems with history in scala REPL;

tuned imports;

merged

clarified Isabelle/Java/Scala project setup;

support for Isabelle setup in pure Java;

tuned: prefer Java interfaces;

clarified package: towards stand-alone setup;

tuned;

more direct java.home, according to current jdk directory layout;

tuned;

clarified modules; avoid initial use of _settings during init;

tuned: prefer Java interfaces;

tuned: prefer Java interfaces;

clarified signature: prefer Java interfaces;

clarified signature;

clarified signature;

proper usage;

clarified modules;

tuned;

clarified modules (again): services require full Isabelle/Scala environment;

clarified modules;

updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0;

clarified environment (amending 9444489766a1);

merged

move code setup from Cardinality to separate theory

A few useful lemmas about derivatives, colinearity and other topics

proper Font_Subst.cache for paintScreenLineRange;

more predictable result, avoid slightly odd "lastSubstFont" by jEdit;

tuned;

tuned signature;

tuned;

discontinue i21of4 (old Apple hardware);

avoid deprecated operation;

tuned;

support for jEdit font substitution;

more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java); more direct TextAttribute.RUN_DIRECTION_LTR (see also ce22e5c3d4ce);

updated to flatlaf-1.2;

proper directories after reinstallation of lxbroy10;

more visual emphasis on node status;

more word cleanup

merged

more default simp rules

some word streamlining

avoid legacy domain informatik.tu-muenchen.de;

tuned --- following hints by IntelliJ;

tuned signature;

tuned;

tuned;

tuned signature;

tuned;

tuned signature (see 2d6a489adb01);

added support for TFX's and THF's $ite to Sledgehammer

tuned Mirabelle documentation

shortened long lines

fixed typos

updated Mirabelle documentation

changed Mirabelle's filter to use short theory names

more lemmas

added support for unbounded max calls to Mirabelle

added warnings when defining unamed or redefining Mirabelle action

tuned whitespace;

tuned Mirabelle

merged

refactored Mirabelle to produce output in real time

global interpretation into nested targets

more succint interfaces

merged

tuned messages;

NEWS;