# HG changeset patch # User wenzelm # Date 1250976036 -7200 # Node ID 368159e48444b4bcb5886a68667ebb6839d8cd8c # Parent d8551606fbab8a9be6f8785dd6ba055ea70b1d4b generalized settings; diff -r d8551606fbab -r 368159e48444 src/HOL/Tools/Mirabelle/etc/settings --- a/src/HOL/Tools/Mirabelle/etc/settings Sat Aug 22 23:16:11 2009 +0200 +++ b/src/HOL/Tools/Mirabelle/etc/settings Sat Aug 22 23:20:36 2009 +0200 @@ -6,4 +6,4 @@ MIRABELLE_TIMEOUT=30 MIRABELLE_VERBOSE=false -ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools" +ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"