# HG changeset patch # User wenzelm # Date 1477311053 -7200 # Node ID 7ffd2be0a1e811cfc455451e9baabb3aa8ac99a0 # Parent 213cf4215b40938652b3338e6849fc78dd236f90 tuned; diff -r 213cf4215b40 -r 7ffd2be0a1e8 src/Pure/Admin/news.scala --- 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) }