src/HOL/Mirabelle/lib/scripts/mirabelle.pl

 theory "$setup_thy_name"
 imports "$mirabelle_thy" "$mirabelle_theory"
 $tools
 begin
 
-setup {* 
+setup {*
   Config.put_global Mirabelle.logfile "$log_file" #>
   Config.put_global Mirabelle.timeout $timeout #>
   Config.put_global Mirabelle.start_line $start_line #>
   Config.put_global Mirabelle.end_line $end_line
 *}
 
 END
 
-foreach (reverse(split(/:/, $actions))) {
+@action_list = split(/:/, $actions);
+
+foreach (reverse(@action_list)) {
   if (m/([^[]*)(?:\[(.*)\])?/) {
     my ($name, $settings_str) = ($1, $2 || "");
     $name =~ s/^([a-z])/\U$1/;
     print SETUP_FILE "setup {* Mirabelle_$name.invoke [";
     my $sep = "";

       if (m/\s*([^=]*)\s*=\s*(.*)\s*/) {
         print SETUP_FILE "$sep(\"$1\", \"$2\")";
         $sep = ", ";
       }
       elsif (m/\s*(.*)\s*/) {
-	print SETUP_FILE "$sep(\"$1\", \"\")";
-	$sep = ", ";
+        print SETUP_FILE "$sep(\"$1\", \"\")";
+        $sep = ", ";
       }
     }
     print SETUP_FILE "] *}\n";
   }
 }

 
 # run isabelle
 
 open(LOG_FILE, ">$log_file");
 print LOG_FILE "Run of $new_thy_file with:\n";
-foreach $name (@action_names) {
-  print LOG_FILE "  $name\n";
+foreach $action  (@action_list) {
+  print LOG_FILE "  $action\n";
 }
 close(LOG_FILE);
 
 my $quiet = "";
 my $output_log = 1;