author | wenzelm |
Mon, 24 Oct 2016 14:10:53 +0200 | |
changeset 64372 | 7ffd2be0a1e8 |
parent 64371 | 213cf4215b40 |
child 64373 | 5a3e35cb6f54 |
--- 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) }