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.
clarified meaning of options for "isabelle options";
authorwenzelm
Sat, 27 Jul 2013 17:34:56 +0200
changeset 52737 7b396ef36af6
parent 52735 842b5e7dcac8
child 52738 8db0db07bd96
clarified meaning of options for "isabelle options";
src/Pure/System/options.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/options.scala	Sat Jul 27 16:59:25 2013 +0200
+++ b/src/Pure/System/options.scala	Sat Jul 27 17:34:56 2013 +0200
@@ -142,9 +142,12 @@
 
           if (get_option != "")
             java.lang.System.out.println(options.check_name(get_option).value)
-          else if (export_file != "")
+
+          if (export_file != "")
             File.write(Path.explode(export_file), YXML.string_of_body(options.encode))
-          else java.lang.System.out.println(options.print)
+
+          if (get_option == "" && export_file == "")
+            java.lang.System.out.println(options.print)
 
           0
         case _ => error("Bad arguments:\n" + cat_lines(args))
isabelle