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/Pure/Tools/dump.scala
changeset 68744 64fb127e33f7
parent 68743 91162dd89571
parent 68741 e90cf766723c
child 68758 a110e7e24e55 
--- a/src/Pure/Tools/dump.scala	Sun Aug 12 14:28:28 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sun Aug 12 14:31:46 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