Quellcode-Bibliothek settings Sprache: unbekannt

Columbo aufrufen Download desUnknown {[0] [0] [0]}Datei anzeigen

# -*- 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"

Quellcode-Bibliothek settings Sprache: unbekannt

[ 0.108Quellennavigators ]