Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Find_Facts/etc/settings
changeset 81889 838ed7098c4c
parent 81888 6f86f2751a7b
child 81890 234bac3f2730
equal deleted inserted replaced
81888:6f86f2751a7b 81889:838ed7098c4c 
     2 
     2 
     3 FIND_FACTS_HOME="$COMPONENT"
 
     3 FIND_FACTS_HOME="$COMPONENT"
 
     4 FIND_FACTS_WEB="$ISABELLE_HOME_USER/find_facts/web"
 
     4 FIND_FACTS_WEB="$ISABELLE_HOME_USER/find_facts/web"
 
     5 
     5 
     6 FIND_FACTS_SOLR_DATA="$ISABELLE_HOME_USER/find_facts/solr"
 
     6 FIND_FACTS_SOLR_DATA="$ISABELLE_HOME_USER/find_facts/solr"
 
     7 SOLR_COMPONENTS=""
 
     7 FIND_FACTS_INDEXES=""
 
     8 
     8 
     9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"
 
     9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$FIND_FACTS_HOME/Tools"
isabelle