tuned comments;
authorwenzelm
Wed Jul 23 11:22:56 2014 +0200 (2014-07-23)
changeset 576134c6d44a3a079
parent 57612 990ffb84489b
child 57614 416ce9617780
tuned comments;
src/Pure/GUI/gui_thread.scala
src/Tools/jEdit/src/text_overview.scala
     1.1 --- a/src/Pure/GUI/gui_thread.scala	Wed Jul 23 11:19:24 2014 +0200
     1.2 +++ b/src/Pure/GUI/gui_thread.scala	Wed Jul 23 11:22:56 2014 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Module:     PIDE-GUI
     1.5      Author:     Makarius
     1.6  
     1.7 -Evaluation within the GUI thread: implementation for AWT/Swing.
     1.8 +Evaluation within the GUI thread (for AWT/Swing).
     1.9  */
    1.10  
    1.11  package isabelle
     2.1 --- a/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:19:24 2014 +0200
     2.2 +++ b/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:22:56 2014 +0200
     2.3 @@ -1,7 +1,7 @@
     2.4  /*  Title:      Tools/jEdit/src/text_overview.scala
     2.5      Author:     Makarius
     2.6  
     2.7 -Swing component for text status overview.
     2.8 +GUI component for text status overview.
     2.9  */
    2.10  
    2.11  package isabelle.jedit