Quelle  settings

# -*- shell-script -*- :mode=shellscript:

FIND_FACTS_HOME="$COMPONENT"
FIND_FACTS_HOME_USER="$ISABELLE_HOME_USER/find_facts"

if [ -f "$FIND_FACTS_HOME/lib/isabelle.db" ]; then
  FIND_FACTS_INDEXES="$FIND_FACTS_HOME/lib/isabelle.db"
else
  FIND_FACTS_INDEXES=""
fi

ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/lib/Tools"