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 output;
authorwenzelm
Mon, 13 Mar 2023 13:46:36 +0100
changeset 77625 25b7914f488c
parent 77624 809ad223f406
child 77626 af8ac22d97f0
tuned output;
src/Pure/System/options.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/options.scala	Mon Mar 13 13:43:25 2023 +0100
+++ b/src/Pure/System/options.scala	Mon Mar 13 13:46:36 2023 +0100
@@ -10,7 +10,9 @@
 object Options {
   val empty: Options = new Options()
 
-  sealed case class Spec(name: String, value: Option[String] = None)
+  sealed case class Spec(name: String, value: Option[String] = None) {
+    override def toString: String = name + if_proper(value, "=" + value.get)
+  }
 
   sealed case class Change(name: String, value: String, unknown: Boolean) {
     def print_props: String = Properties.Eq(name, value)
isabelle