src/Tools/jEdit/src/jedit/Plugin.scala
changeset 34407 aad6834ba380
parent 34406 f81cd75ae331
child 34422 d5a41da986c3
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Thu Dec 18 01:10:20 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Fri Dec 19 22:24:32 2008 +0100
@@ -1,3 +1,10 @@
+/*
+ * Main Isabelle/jEdit plugin setup
+ *
+ * @author Johannes Hölzl, TU Munich
+ * @author Fabian Immler, TU Munich
+ */
+
 package isabelle.jedit
 
 import java.awt.Font