changeset 68994 | d961e11e0e87 |
parent 62836 | 98dbed6cfa44 |
child 72763 | 3cc73d00553c |
68991:6c1beb52d766 | 68994:d961e11e0e87 |
---|---|
50 if (specs.isEmpty) getopts.usage() |
50 if (specs.isEmpty) getopts.usage() |
51 |
51 |
52 for { |
52 for { |
53 spec <- specs |
53 spec <- specs |
54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) |
54 file <- File.find_files(Path.explode(spec).file, file => file.getName.endsWith(".thy")) |
55 } update_theorems(Path.explode(File.standard_path(file))) |
55 } update_theorems(File.path(file)) |
56 }) |
56 }) |
57 } |
57 } |