Searched refs:ISABELLE_HOME_USER (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/proofcount/
H A Dinstall.sh26 export `$ISABELLE_TOOL getenv ISABELLE_HOME_USER`
28 if [ -z "$ISABELLE_HOME_USER" ] ; then
34 echo "init_component "$DIR/"" >> "$ISABELLE_HOME_USER/etc/settings"
/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents89 SETTINGS="$ISABELLE_HOME_USER/etc/settings"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents89 SETTINGS="$ISABELLE_HOME_USER/etc/settings"

Completed in 16 milliseconds