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.
tuned;
authorwenzelm
Sat, 11 Aug 2018 17:28:20 +0200
changeset 68741 e90cf766723c
parent 68740 682ff0e84387
child 68742 a6cc4302c380
tuned;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Sat Aug 11 16:02:55 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Aug 11 17:28:20 2018 +0200
@@ -194,8 +194,8 @@
       "X:" -> (arg => exclude_session_groups = exclude_session_groups ::: List(arg)),
       "a" -> (_ => all_sessions = true),
       "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),
+      "g:" -> (arg => session_groups = session_groups ::: List(arg)),
       "l:" -> (arg => logic = arg),
-      "g:" -> (arg => session_groups = session_groups ::: List(arg)),
       "o:" -> (arg => options = options + arg),
       "s" -> (_ => system_mode = true),
       "v" -> (_ => verbose = true),
isabelle