added alternative E binary name

parse logical operators in the right order w.r.t. backtracking

improved warning

adjusted E setup to avoid generating FOOL with 2.5 (where 'ite' is missing)

operations for symbolic computation of bit operations

proper local context

shasum for project meta-info;

even more strict shasum (amending c9771e1b3223);

clarified Isabelle meta-info within jar;

strict shasum: this is used on input files;

clarified modules; clarified messages; clarified return code;

support for command-line operations;

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;