changeset 64372 | 7ffd2be0a1e8 |
parent 64369 | 6a9816764b37 |
child 65083 | 9a0e34edfad1 |
--- a/src/Pure/Admin/news.scala Mon Oct 24 14:05:22 2016 +0200 +++ b/src/Pure/Admin/news.scala Mon Oct 24 14:10:53 2016 +0200 @@ -32,8 +32,6 @@ /* Isabelle tool wrapper */ val isabelle_tool = - Isabelle_Tool("news", "generate HTML version of the NEWS file", args => - { - Command_Line.tool0 { generate_html() } - }, admin = true) + Isabelle_Tool("news", "generate HTML version of the NEWS file", + _ => generate_html(), admin = true) }