added some headers and comments;

--- a/src/Tools/jEdit/src/jedit/OptionPane.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OptionPane.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,5 +1,5 @@
 /*
- * Isabelle/jEdit plugin options
+ * Editor pane for plugin options
  *
  * @author Johannes Hölzl, TU Munich
  */

--- a/src/Tools/jEdit/src/jedit/OutputDockable.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OutputDockable.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,3 +1,10 @@
+/*
+ * Dockable window for raw process output
+ *
+ * @author Fabian Immler, TU Munich
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.jedit
 
 import java.awt.GridLayout

--- a/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,3 +1,9 @@
+/*
+ * Information on command-phase left of scrollbar (with panel)
+ *
+ * @author Fabian Immler, TU Munich
+ */
+
 package isabelle.jedit
 
 import isabelle.prover.Command

--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,7 +1,7 @@
 /*
- * 
+ * Independent prover sessions
  *
- * 
+ * @author Fabian Immler, TU Munich
  */
 
 package isabelle.jedit

--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,6 +1,7 @@
 /*
- * ScrollerDockable.scala
+ * Dockable window with scrollable messages
  *
+ * @author Fabian Immler, TU Munich
  */
 
 package isabelle.jedit

--- a/src/Tools/jEdit/src/jedit/SelectionActions.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/SelectionActions.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,8 +1,7 @@
 /*
- * SelectionActions.scala
+ * Text selection for XHTML renderer
  *
- * To change this template, choose Tools | Template Manager
- * and open the template in the editor.
+ * @author Fabian Immler, TU Munich
  */
 
 package isabelle.jedit

--- a/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/StateViewDockable.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,3 +1,10 @@
+/*
+ * Dockable window with rendered state output
+ *
+ * @author Fabian Immler, TU Munich
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.jedit
 
 

--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,5 +1,5 @@
 /*
- * XML/CSS rendering -- user agent
+ * jEdit text area as document text source
  *
  * @author Fabian Immler, TU Munich
  * @author Johannes Hölzl, TU Munich

--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,5 +1,5 @@
 /*
- * Document -- list of tokens
+ * Document as list of tokens
  *
  * @author Johannes Hölzl, TU Munich
  */

--- a/src/Tools/jEdit/src/prover/Document.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Document.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,5 +1,5 @@
 /*
- * Document -- list of commands
+ * Document as list of commands
  *
  * @author Johannes Hölzl, TU Munich
  */

--- a/src/Tools/jEdit/src/prover/IsabelleSKParser.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/prover/IsabelleSKParser.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,5 +1,5 @@
 /*
- * Sidekick parser for proof document
+ * SideKick parser for proof document
  *
  * @author Fabian Immler, TU Munich
  */