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.
execute actions in same order as specified on command line
authorblanchet
Mon, 30 Aug 2010 12:09:57 +0200
changeset 38898 a243f8883e8e
parent 38897 92ca38d18af0
child 38899 55391ee96614
execute actions in same order as specified on command line
src/HOL/Mirabelle/lib/scripts/mirabelle.pl file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Mon Aug 30 12:02:51 2010 +0200
+++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Mon Aug 30 12:09:57 2010 +0200
@@ -75,7 +75,7 @@
 
 END
 
-foreach (split(/:/, $actions)) {
+foreach (reverse(split(/:/, $actions))) {
   if (m/([^[]*)(?:\[(.*)\])?/) {
     my ($name, $settings_str) = ($1, $2 || "");
     $name =~ s/^([a-z])/\U$1/;
isabelle