tuned source structure;

tuned state operations;

tuned signature;

misc tuning and clarification: prefer state operations, avoid redundant ctyp_of/cterm_of;

tuned;

tuned;

tuned proofs; tuned whitespace;

merged

update to javamail-20250122;

merged

more tidying

tuned messages;

clarified: more arguments;

explicit error message when Solr database does not exist;

copy instead of symlink managed Find_Facts indexes: portable, and allows updating with local sessions;

clarified CLI arg vs. option;

clarified;

clarified find_facts URL;

clarified CLI options: web dir only in $FIND_FACTS_HOME_USER/web;

clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;

clarified: Find_Facts indexes instead of Solr components;

clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;

merged

clarified: more operations;

tuned default nightly start: less events at 00:17:00;

use cycles in ci triggers;

varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;

clarified;

tuned whitespace;

add find_facts_index command to use within Isabelle/Scala;