wenzelm [Sat, 18 Jan 2025 11:03:18 +0100] rev 81904
tuned;
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;
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;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 15:55:30 +0100] rev 81890
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
Fabian Huch <huch@in.tum.de> [Tue, 21 Jan 2025 15:31:57 +0100] rev 81889
clarified: Find_Facts indexes instead of Solr components;