--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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