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