equal
deleted
inserted
replaced
31 /* command line entry point */ |
31 /* command line entry point */ |
32 |
32 |
33 def main(args: Array[String]) |
33 def main(args: Array[String]) |
34 { |
34 { |
35 Command_Line.tool0 { |
35 Command_Line.tool0 { |
36 val getopts = Getopts(() => """ |
36 val getopts = Getopts(""" |
37 Usage: isabelle update_then [FILES|DIRS...] |
37 Usage: isabelle update_then [FILES|DIRS...] |
38 |
38 |
39 Recursively find .thy files and expand old Isar command conflations: |
39 Recursively find .thy files and expand old Isar command conflations: |
40 |
40 |
41 hence ~> then have |
41 hence ~> then have |