clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;

--- a/src/Tools/Find_Facts/etc/settings	Tue Jan 21 15:31:57 2025 +0100
+++ b/src/Tools/Find_Facts/etc/settings	Tue Jan 21 15:55:30 2025 +0100
@@ -1,9 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
 FIND_FACTS_HOME="$COMPONENT"
-FIND_FACTS_WEB="$ISABELLE_HOME_USER/find_facts/web"
-
-FIND_FACTS_SOLR_DATA="$ISABELLE_HOME_USER/find_facts/solr"
+FIND_FACTS_HOME_USER="$ISABELLE_HOME_USER/find_facts"
 FIND_FACTS_INDEXES=""
 
 ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"

--- a/src/Tools/Find_Facts/src/find_facts.scala	Tue Jan 21 15:31:57 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Tue Jan 21 15:55:30 2025 +0100
@@ -112,7 +112,7 @@
 
   /** Solr data model **/
 
-  val solr_data_dir: Path = Path.explode("$FIND_FACTS_SOLR_DATA")
+  val solr_data_dir: Path = Path.explode("$FIND_FACTS_HOME_USER/solr")
 
   object private_data extends Solr.Data("find_facts") {
     /* types */
@@ -879,7 +879,7 @@
   /* find facts */
 
   val template_web_dir: Path = Path.explode("$FIND_FACTS_HOME/web")
-  val default_web_dir: Path = Path.explode("$FIND_FACTS_WEB")
+  val default_web_dir: Path = Path.explode("$FIND_FACTS_HOME_USER/web")
 
   val default_port = 8080