src/Tools/jEdit/src/jedit/scala_console.scala

--- a/src/Tools/jEdit/src/jedit/scala_console.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Scala instance of Console plugin
- *
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/scala_console.scala
+    Author:     Makarius
+
+Scala instance of Console plugin.
+*/
 
 package isabelle.jedit