# HG changeset patch
# User wenzelm
# Date 1738239411 -3600
# Node ID 62f3d9484034a7c21199f0d6cca939563e2a37a1
# Parent  374db8f3593946c6ba8968990aa6eab7c74ce685
more standard directory structure;

diff -r 374db8f35939 -r 62f3d9484034 src/Tools/Find_Facts/Tools/find_facts_index
--- a/src/Tools/Find_Facts/Tools/find_facts_index	Thu Jan 30 13:13:21 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-#
-# DESCRIPTION: index sessions for Find_Facts
-
-isabelle scala_build || exit $?
-
-eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
-
-classpath "$SOLR_JARS"
-
-exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Index_Tool "$@"
diff -r 374db8f35939 -r 62f3d9484034 src/Tools/Find_Facts/Tools/find_facts_server
--- a/src/Tools/Find_Facts/Tools/find_facts_server	Thu Jan 30 13:13:21 2025 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-#
-# DESCRIPTION: run server for Find_Facts
-
-isabelle scala_build || exit $?
-
-eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
-
-classpath "$SOLR_JARS"
-
-exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Server_Tool "$@"
diff -r 374db8f35939 -r 62f3d9484034 src/Tools/Find_Facts/etc/settings
--- a/src/Tools/Find_Facts/etc/settings	Thu Jan 30 13:13:21 2025 +0100
+++ b/src/Tools/Find_Facts/etc/settings	Thu Jan 30 13:16:51 2025 +0100
@@ -4,4 +4,4 @@
 FIND_FACTS_HOME_USER="$ISABELLE_HOME_USER/find_facts"
 FIND_FACTS_INDEXES=""
 
-ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"
+ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/lib/Tools"
diff -r 374db8f35939 -r 62f3d9484034 src/Tools/Find_Facts/lib/Tools/find_facts_index
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/lib/Tools/find_facts_index	Thu Jan 30 13:16:51 2025 +0100
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# DESCRIPTION: index sessions for Find_Facts
+
+isabelle scala_build || exit $?
+
+eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
+
+classpath "$SOLR_JARS"
+
+exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Index_Tool "$@"
diff -r 374db8f35939 -r 62f3d9484034 src/Tools/Find_Facts/lib/Tools/find_facts_server
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/lib/Tools/find_facts_server	Thu Jan 30 13:16:51 2025 +0100
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# DESCRIPTION: run server for Find_Facts
+
+isabelle scala_build || exit $?
+
+eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
+
+classpath "$SOLR_JARS"
+
+exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Server_Tool "$@"