equal
deleted
inserted
replaced
29 |
29 |
30 |
30 |
31 /* Isabelle tool wrapper */ |
31 /* Isabelle tool wrapper */ |
32 |
32 |
33 val isabelle_tool = |
33 val isabelle_tool = |
34 Isabelle_Tool("update_then", "expand old Isar command conflations 'hence' and 'thus'", args => |
34 Isabelle_Tool("update_then", "expand old Isar command conflations 'hence' and 'thus'", |
|
35 Scala_Project.here, args => |
35 { |
36 { |
36 val getopts = Getopts(""" |
37 val getopts = Getopts(""" |
37 Usage: isabelle update_then [FILES|DIRS...] |
38 Usage: isabelle update_then [FILES|DIRS...] |
38 |
39 |
39 Recursively find .thy files and expand old Isar command conflations: |
40 Recursively find .thy files and expand old Isar command conflations: |