support persistent store for file-system content (notably SQLite);

tuned signature: more explicit operations;

tuned;

tuned: fewer warnings with scalac -Wunused:all;

tuned: fewer warnings with scalac -Wunused:all;

back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;

removed unused imports;

proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2);

merged

Added tag Isabelle2025-RC2 for changeset 5888f0bec971

add document options to build_sync, since Sessions.Info is read from export database for document generation (amending 6e5397fcc41b);

A couple of additional lemmas

merged

tuned Sledgehammer's TPTP generation Some provers, such as E 3.1 and 3.2, fail to parse != without parentheses.

relative paths;

handle path change properly;

proper relative paths;

remove limit on boolean clauses in Solr, introduced in "fix" SOLR-13336;

less ambitious test, thanks to 1126ee407227;

more documentation;

tuned NEWS for release;

tuned GUI: no scroll_bottom for completely different output;

tuned GUI: preserve horizontal scrollbar position;

tuned: more robust Isabelle symbols;

tuned: fewer warnings in IntelliJ IDEA;

tuned message;

more complete brackets for jEdit modes; tuned: more robust Isabelle symbols;

tuned: more robust Isabelle symbols;

clarified modules: more robust Isabelle symbols;

more thorough "isabelle check_sources";

streamlined and actually integrated

merged

added lemma

merged

add find_facts_web component;

web component for Find_Facts: bundled assets and compiled elm app;

clarified;

clarified output file;

clarified;

tuned;

tuned: use Isabelle symbols for icons;

css service, e.g. for dynamic web apps;

more mime types;

proper error message for missing elm component;

clarified web;

more syntax update

updated syntax

more accurate rail diagram (amending de9d43c427ae);