src/Tools/jEdit/src/jedit/plugin.scala
changeset 36760 b82a698ef6c9
parent 36015 6111de7c916a
child 36814 dc85664dbf6d
--- a/src/Tools/jEdit/src/jedit/plugin.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,10 +1,10 @@
-/*
- * Main Isabelle/jEdit plugin setup
- *
- * @author Johannes Hölzl, TU Munich
- * @author Fabian Immler, TU Munich
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/plugin.scala
+    Author:     Johannes Hölzl, TU Munich
+    Author:     Fabian Immler, TU Munich
+    Author:     Makarius
+
+Main Isabelle/jEdit plugin setup.
+*/
 
 package isabelle.jedit