src/Pure/Tools/keywords.scala

--- a/src/Pure/Tools/keywords.scala	Fri May 02 19:30:34 2014 +0200
+++ b/src/Pure/Tools/keywords.scala	Fri May 02 19:51:40 2014 +0200
@@ -141,7 +141,7 @@
     }
 
     val file = if (name == "") "isar-keywords.el" else "isar-keywords-" + name + ".el"
-    System.err.println(file)
+    Output.writeln(file)
     File.write(Path.explode(file), output)
   }