Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Mirabelle/lib/scripts/mirabelle.pl
changeset 47730 15f4309bb9eb
parent 47712 81c3c4e01263
child 47732 503efdb07566 
--- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Tue Apr 24 13:55:02 2012 +0100
+++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Tue Apr 24 13:59:29 2012 +0100
@@ -46,7 +46,7 @@
 my @action_names;
 foreach (split(/:/, $actions)) {
   if (m/([^[]*)/) {
-    push @action_files, "\"$mirabelle_home/Actions/mirabelle_$1.ML\"";
+    push @action_files, "\"$mirabelle_home/Tools/mirabelle_$1.ML\"";
     push @action_names, $1;
   }
 }
isabelle