isabelle: Changelog

paulson [Wed, 22 Jan 2025 22:22:37 +0000] rev 81900

merged

paulson <lp15@cam.ac.uk> [Wed, 22 Jan 2025 22:22:27 +0000] rev 81899

more tidying

Fabian Huch <huch@in.tum.de> [Wed, 22 Jan 2025 14:43:26 +0100] rev 81898

tuned messages;

Fabian Huch <huch@in.tum.de> [Wed, 22 Jan 2025 11:23:35 +0100] rev 81897

clarified: more arguments;

Fabian Huch <huch@in.tum.de> [Wed, 22 Jan 2025 10:53:20 +0100] rev 81896

explicit error message when Solr database does not exist;

Fabian Huch <huch@in.tum.de> [Wed, 22 Jan 2025 10:35:17 +0100] rev 81895

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

Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 17:28:09 +0100] rev 81894

clarified CLI arg vs. option;

Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 17:19:30 +0100] rev 81893

clarified;

Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 17:15:52 +0100] rev 81892

clarified find_facts URL;

Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 17:13:06 +0100] rev 81891

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

isabelle