equal
deleted
inserted
replaced
27 |
27 |
28 private val headings = |
28 private val headings = |
29 Set("chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph") |
29 Set("chapter", "section", "subsection", "subsubsection", "paragraph", "subparagraph") |
30 |
30 |
31 val isabelle_tool = |
31 val isabelle_tool = |
32 Isabelle_Tool("update_header", "replace obsolete theory header command", args => |
32 Isabelle_Tool("update_header", "replace obsolete theory header command", |
|
33 Scala_Project.here, args => |
33 { |
34 { |
34 var section = "section" |
35 var section = "section" |
35 |
36 |
36 val getopts = Getopts(""" |
37 val getopts = Getopts(""" |
37 Usage: isabelle update_header [FILES|DIRS...] |
38 Usage: isabelle update_header [FILES|DIRS...] |