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