Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
generalized settings;
authorwenzelm
Sat, 22 Aug 2009 23:20:36 +0200
changeset 32393 368159e48444
parent 32392 d8551606fbab
child 32394 e8feef03a93f
generalized settings;
src/HOL/Tools/Mirabelle/etc/settings file | annotate | diff | comparison | revisions 
--- 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"
isabelle