# HG changeset patch
# User wenzelm
# Date 1229724668 -3600
# Node ID ad7b6c4813c86e63f4bc63f1fcda917301fa2945
# Parent  aad6834ba3800b50e1e43986b48cd5a4b36a4508
added some headers and comments;

diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/OptionPane.scala
--- 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
  */
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/OutputDockable.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/PhaseOverviewPanel.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/ProverSetup.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/ScrollerDockable.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/SelectionActions.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/StateViewDockable.scala
--- 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
 
 
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/jedit/TheoryView.scala
--- 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
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/proofdocument/ProofDocument.scala
--- 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
  */
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/prover/Document.scala
--- 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
  */
diff -r aad6834ba380 -r ad7b6c4813c8 src/Tools/jEdit/src/prover/IsabelleSKParser.scala
--- 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
  */