more robust (see 4d91b6d5d49c);

clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;

more robust;

tuned;

avoid non-standard encoding;

proper cross-platform build: jdk component is required for ISABELLE_SETUP_CLASSPATH in other_isabelle;

more robust classpath: skip empty entries;

more robust: avoid duplicate classpath entries;

build.props for isabelle.jar, including isabelle.jedit; build minimal Isabelle/jEdit plugins on the spot; regular "jedit" component: discontinued special "jedit_build"; Isabelle/Scala services via jars, instead of settings;

more robust;

more portable: avoid Windows CRLF in classpath output;

proper lines (amending 59b6f0462086);

more systematic treatment of encodings;

tuned;

extended the 'corec' format slightly

prefer 'xxx' to 'xxx.yyy' to 'xxx(2)' in Sledgehammer, to some extent

tuning

rephrase Nitpick constraint in more first-order format that's also more friendly to the 'box' option

correctly translate constructor argument in 'primrec'

simplified a few proofs

revisited ac28714b7478: more faithful preplaying with chained facts

wait for E 2.7 before using 'ite' in HO mode

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;

tuned;

support for jEdit font substitution;