# HG changeset patch
# User wenzelm
# Date 1273345710 -7200
# Node ID b82a698ef6c9e19d8a41c9a315de14c837baad3e
# Parent  dc972354d77cbe476a97ffb90599a2cbf254a6a7
tuned headers;

diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/document_model.scala
--- a/src/Tools/jEdit/src/jedit/document_model.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/document_model.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,9 +1,9 @@
-/*
- * Document model connected to jEdit buffer
- *
- * @author Fabian Immler, TU Munich
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/document_model.scala
+    Author:     Fabian Immler, TU Munich
+    Author:     Makarius
+
+Document model connected to jEdit buffer.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/document_view.scala
--- a/src/Tools/jEdit/src/jedit/document_view.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/document_view.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,9 +1,9 @@
-/*
- * Document view connected to jEdit text area
- *
- * @author Fabian Immler, TU Munich
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/document_view.scala
+    Author:     Fabian Immler, TU Munich
+    Author:     Makarius
+
+Document view connected to jEdit text area.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/html_panel.scala
--- a/src/Tools/jEdit/src/jedit/html_panel.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/html_panel.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * HTML panel based on Lobo/Cobra
- *
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/html_panel.scala
+    Author:     Makarius
+
+HTML panel based on Lobo/Cobra.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/isabelle_encoding.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Isabelle encoding -- based on utf-8
- *
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_encoding.scala
+    Author:     Makarius
+
+Isabelle encoding -- based on UTF-8.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Hyperlink setup for Isabelle proof documents
- *
- * @author Fabian Immler, TU Munich
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
+    Author:     Fabian Immler, TU Munich
+
+Hyperlink setup for Isabelle proof documents.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/isabelle_options.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_options.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_options.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Editor pane for plugin options
- *
- * @author Johannes Hölzl, TU Munich
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_options.scala
+    Author:     Johannes Hölzl, TU Munich
+
+Editor pane for plugin options.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/isabelle_sidekick.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,9 +1,9 @@
-/*
- * SideKick parsers for Isabelle proof documents
- *
- * @author Fabian Immler, TU Munich
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_sidekick.scala
+    Author:     Fabian Immler, TU Munich
+    Author:     Makarius
+
+SideKick parsers for Isabelle proof documents.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/isabelle_token_marker.scala
--- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,9 +1,9 @@
-/*
- * include isabelle's command- and keyword-declarations
- * live in jEdits syntax-highlighting
- *
- * @author Fabian Immler, TU Munich
- */
+/*  Title:      Tools/jEdit/src/jedit/isabelle_token_marker.scala
+    Author:     Fabian Immler, TU Munich
+
+Include isabelle's command- and keyword-declarations live in jEdits
+syntax-highlighting.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/output_dockable.scala
--- a/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Dockable window with result message output
- *
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/output_dockable.scala
+    Author:     Makarius
+
+Dockable window with result message output.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/plugin.scala
--- 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
 
diff -r dc972354d77c -r b82a698ef6c9 src/Tools/jEdit/src/jedit/protocol_dockable.scala
--- a/src/Tools/jEdit/src/jedit/protocol_dockable.scala	Sat May 08 20:58:02 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/protocol_dockable.scala	Sat May 08 21:08:30 2010 +0200
@@ -1,8 +1,8 @@
-/*
- * Dockable window for raw process output
- *
- * @author Makarius
- */
+/*  Title:      Tools/jEdit/src/jedit/protocol_dockable.scala
+    Author:     Makarius
+
+Dockable window for raw process output.
+*/
 
 package isabelle.jedit
 
diff -r dc972354d77c -r b82a698ef6c9 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