equal
deleted
inserted
replaced
45 |
45 |
46 |
46 |
47 /* Isabelle tool wrapper */ |
47 /* Isabelle tool wrapper */ |
48 |
48 |
49 val isabelle_tool = |
49 val isabelle_tool = |
50 Isabelle_Tool("update_comments", "update formal comments in outer syntax", args => |
50 Isabelle_Tool("update_comments", "update formal comments in outer syntax", |
|
51 Scala_Project.here, args => |
51 { |
52 { |
52 val getopts = Getopts(""" |
53 val getopts = Getopts(""" |
53 Usage: isabelle update_comments [FILES|DIRS...] |
54 Usage: isabelle update_comments [FILES|DIRS...] |
54 |
55 |
55 Recursively find .thy files and update formal comments in outer syntax. |
56 Recursively find .thy files and update formal comments in outer syntax. |