--- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl Thu Mar 10 12:11:50 2016 +0100
+++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl Thu Mar 10 17:30:04 2016 +0100
@@ -158,8 +158,8 @@
if ($output_log) { print "Mirabelle: $thy_file\n"; }
my $cmd =
- "\"$ENV{'ISABELLE_TOOL'}\" process " .
- "-o quick_and_dirty -o threads=1 -e 'use_thy \"$path/$new_thy_name\"' $mirabelle_logic" . $quiet;
+ "isabelle process -o quick_and_dirty -o threads=1" .
+ " -e 'use_thy \"$path/$new_thy_name\"' $mirabelle_logic" . $quiet;
my $result = system "bash", "-c", $cmd;
if ($output_log) {