isabelle: Changelog

wenzelm [Sat, 18 Jan 2025 10:59:00 +0100] rev 81903

tuned proofs; tuned whitespace;

Fabian Huch <huch@in.tum.de> [Thu, 23 Jan 2025 13:42:58 +0100] rev 81902

merged

Fabian Huch <huch@in.tum.de> [Wed, 22 Jan 2025 15:05:29 +0100] rev 81901

update to javamail-20250122;

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;

isabelle