1.1 --- a/src/Tools/jEdit/src/jedit/document_model.scala	Sat May 08 20:58:02 2010 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit/document_model.scala	Sat May 08 21:08:30 2010 +0200
     1.3 @@ -1,9 +1,9 @@
     1.4 -/*
     1.5 - * Document model connected to jEdit buffer
     1.6 - *
     1.7 - * @author Fabian Immler, TU Munich
     1.8 - * @author Makarius
     1.9 - */
    1.10 +/*  Title:      Tools/jEdit/src/jedit/document_model.scala
    1.11 +    Author:     Fabian Immler, TU Munich
    1.12 +    Author:     Makarius
    1.13 +
    1.14 +Document model connected to jEdit buffer.
    1.15 +*/
    1.16  
    1.17  package isabelle.jedit
    1.18  

     2.1 --- a/src/Tools/jEdit/src/jedit/document_view.scala	Sat May 08 20:58:02 2010 +0200
     2.2 +++ b/src/Tools/jEdit/src/jedit/document_view.scala	Sat May 08 21:08:30 2010 +0200
     2.3 @@ -1,9 +1,9 @@
     2.4 -/*
     2.5 - * Document view connected to jEdit text area
     2.6 - *
     2.7 - * @author Fabian Immler, TU Munich
     2.8 - * @author Makarius
     2.9 - */
    2.10 +/*  Title:      Tools/jEdit/src/jedit/document_view.scala
    2.11 +    Author:     Fabian Immler, TU Munich
    2.12 +    Author:     Makarius
    2.13 +
    2.14 +Document view connected to jEdit text area.
    2.15 +*/
    2.16  
    2.17  package isabelle.jedit
    2.18  

     3.1 --- a/src/Tools/jEdit/src/jedit/html_panel.scala	Sat May 08 20:58:02 2010 +0200
     3.2 +++ b/src/Tools/jEdit/src/jedit/html_panel.scala	Sat May 08 21:08:30 2010 +0200
     3.3 @@ -1,8 +1,8 @@
     3.4 -/*
     3.5 - * HTML panel based on Lobo/Cobra
     3.6 - *
     3.7 - * @author Makarius
     3.8 - */
     3.9 +/*  Title:      Tools/jEdit/src/jedit/html_panel.scala
    3.10 +    Author:     Makarius
    3.11 +
    3.12 +HTML panel based on Lobo/Cobra.
    3.13 +*/
    3.14  
    3.15  package isabelle.jedit
    3.16  

     4.1 --- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Sat May 08 20:58:02 2010 +0200
     4.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Sat May 08 21:08:30 2010 +0200
     4.3 @@ -1,8 +1,8 @@
     4.4 -/*
     4.5 - * Isabelle encoding -- based on utf-8
     4.6 - *
     4.7 - * @author Makarius
     4.8 - */
     4.9 +/*  Title:      Tools/jEdit/src/jedit/isabelle_encoding.scala
    4.10 +    Author:     Makarius
    4.11 +
    4.12 +Isabelle encoding -- based on UTF-8.
    4.13 +*/
    4.14  
    4.15  package isabelle.jedit
    4.16  

     5.1 --- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 20:58:02 2010 +0200
     5.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Sat May 08 21:08:30 2010 +0200
     5.3 @@ -1,8 +1,8 @@
     5.4 -/*
     5.5 - * Hyperlink setup for Isabelle proof documents
     5.6 - *
     5.7 - * @author Fabian Immler, TU Munich
     5.8 - */
     5.9 +/*  Title:      Tools/jEdit/src/jedit/isabelle_hyperlinks.scala
    5.10 +    Author:     Fabian Immler, TU Munich
    5.11 +
    5.12 +Hyperlink setup for Isabelle proof documents.
    5.13 +*/
    5.14  
    5.15  package isabelle.jedit
    5.16  

     6.1 --- a/src/Tools/jEdit/src/jedit/isabelle_options.scala	Sat May 08 20:58:02 2010 +0200
     6.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_options.scala	Sat May 08 21:08:30 2010 +0200
     6.3 @@ -1,8 +1,8 @@
     6.4 -/*
     6.5 - * Editor pane for plugin options
     6.6 - *
     6.7 - * @author Johannes Hölzl, TU Munich
     6.8 - */
     6.9 +/*  Title:      Tools/jEdit/src/jedit/isabelle_options.scala
    6.10 +    Author:     Johannes Hölzl, TU Munich
    6.11 +
    6.12 +Editor pane for plugin options.
    6.13 +*/
    6.14  
    6.15  package isabelle.jedit
    6.16  

     7.1 --- a/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sat May 08 20:58:02 2010 +0200
     7.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_sidekick.scala	Sat May 08 21:08:30 2010 +0200
     7.3 @@ -1,9 +1,9 @@
     7.4 -/*
     7.5 - * SideKick parsers for Isabelle proof documents
     7.6 - *
     7.7 - * @author Fabian Immler, TU Munich
     7.8 - * @author Makarius
     7.9 - */
    7.10 +/*  Title:      Tools/jEdit/src/jedit/isabelle_sidekick.scala
    7.11 +    Author:     Fabian Immler, TU Munich
    7.12 +    Author:     Makarius
    7.13 +
    7.14 +SideKick parsers for Isabelle proof documents.
    7.15 +*/
    7.16  
    7.17  package isabelle.jedit
    7.18  

     8.1 --- a/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sat May 08 20:58:02 2010 +0200
     8.2 +++ b/src/Tools/jEdit/src/jedit/isabelle_token_marker.scala	Sat May 08 21:08:30 2010 +0200
     8.3 @@ -1,9 +1,9 @@
     8.4 -/*
     8.5 - * include isabelle's command- and keyword-declarations
     8.6 - * live in jEdits syntax-highlighting
     8.7 - *
     8.8 - * @author Fabian Immler, TU Munich
     8.9 - */
    8.10 +/*  Title:      Tools/jEdit/src/jedit/isabelle_token_marker.scala
    8.11 +    Author:     Fabian Immler, TU Munich
    8.12 +
    8.13 +Include isabelle's command- and keyword-declarations live in jEdits
    8.14 +syntax-highlighting.
    8.15 +*/
    8.16  
    8.17  package isabelle.jedit
    8.18  

     9.1 --- a/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat May 08 20:58:02 2010 +0200
     9.2 +++ b/src/Tools/jEdit/src/jedit/output_dockable.scala	Sat May 08 21:08:30 2010 +0200
     9.3 @@ -1,8 +1,8 @@
     9.4 -/*
     9.5 - * Dockable window with result message output
     9.6 - *
     9.7 - * @author Makarius
     9.8 - */
     9.9 +/*  Title:      Tools/jEdit/src/jedit/output_dockable.scala
    9.10 +    Author:     Makarius
    9.11 +
    9.12 +Dockable window with result message output.
    9.13 +*/
    9.14  
    9.15  package isabelle.jedit
    9.16  

    10.1 --- a/src/Tools/jEdit/src/jedit/plugin.scala	Sat May 08 20:58:02 2010 +0200
    10.2 +++ b/src/Tools/jEdit/src/jedit/plugin.scala	Sat May 08 21:08:30 2010 +0200
    10.3 @@ -1,10 +1,10 @@
    10.4 -/*
    10.5 - * Main Isabelle/jEdit plugin setup
    10.6 - *
    10.7 - * @author Johannes Hölzl, TU Munich
    10.8 - * @author Fabian Immler, TU Munich
    10.9 - * @author Makarius
   10.10 - */
   10.11 +/*  Title:      Tools/jEdit/src/jedit/plugin.scala
   10.12 +    Author:     Johannes Hölzl, TU Munich
   10.13 +    Author:     Fabian Immler, TU Munich
   10.14 +    Author:     Makarius
   10.15 +
   10.16 +Main Isabelle/jEdit plugin setup.
   10.17 +*/
   10.18  
   10.19  package isabelle.jedit
   10.20  

    11.1 --- a/src/Tools/jEdit/src/jedit/protocol_dockable.scala	Sat May 08 20:58:02 2010 +0200
    11.2 +++ b/src/Tools/jEdit/src/jedit/protocol_dockable.scala	Sat May 08 21:08:30 2010 +0200
    11.3 @@ -1,8 +1,8 @@
    11.4 -/*
    11.5 - * Dockable window for raw process output
    11.6 - *
    11.7 - * @author Makarius
    11.8 - */
    11.9 +/*  Title:      Tools/jEdit/src/jedit/protocol_dockable.scala
   11.10 +    Author:     Makarius
   11.11 +
   11.12 +Dockable window for raw process output.
   11.13 +*/
   11.14  
   11.15  package isabelle.jedit
   11.16  

    12.1 --- a/src/Tools/jEdit/src/jedit/scala_console.scala	Sat May 08 20:58:02 2010 +0200
    12.2 +++ b/src/Tools/jEdit/src/jedit/scala_console.scala	Sat May 08 21:08:30 2010 +0200
    12.3 @@ -1,8 +1,8 @@
    12.4 -/*
    12.5 - * Scala instance of Console plugin
    12.6 - *
    12.7 - * @author Makarius
    12.8 - */
    12.9 +/*  Title:      Tools/jEdit/src/jedit/scala_console.scala
   12.10 +    Author:     Makarius
   12.11 +
   12.12 +Scala instance of Console plugin.
   12.13 +*/
   12.14  
   12.15  package isabelle.jedit
   12.16