changeset 62454 | 38c89353b349 |
parent 62449 | 1785cbadd226 |
child 62836 | 98dbed6cfa44 |
--- a/src/Pure/Tools/update_then.scala Sun Feb 28 17:37:20 2016 +0100 +++ b/src/Pure/Tools/update_then.scala Sun Feb 28 17:40:01 2016 +0100 @@ -33,7 +33,7 @@ def main(args: Array[String]) { Command_Line.tool0 { - val getopts = Getopts(() => """ + val getopts = Getopts(""" Usage: isabelle update_then [FILES|DIRS...] Recursively find .thy files and expand old Isar command conflations: