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 41361 d1e4a20911cb
parent 38898 a243f8883e8e
child 42033 60350051ef93 
--- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Tue Dec 21 13:57:19 2010 +0100
+++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Tue Dec 21 13:57:35 2010 +0100
@@ -82,7 +82,7 @@
     print SETUP_FILE "setup {* Mirabelle_$name.invoke [";
     my $sep = "";
     foreach (split(/,/, $settings_str)) {
-      if (m/\s*(.*)\s*=\s*(.*)\s*/) {
+      if (m/\s*([^=]*)\s*=\s*(.*)\s*/) {
         print SETUP_FILE "$sep(\"$1\", \"$2\")";
         $sep = ", ";
       }
isabelle