# HG changeset patch
# User wenzelm
# Date 1406107376 -7200
# Node ID 4c6d44a3a0791bb2b7bd315cfd6e6b491981bde0
# Parent  990ffb84489beca75e10d743d25c203b214a78df
tuned comments;

diff -r 990ffb84489b -r 4c6d44a3a079 src/Pure/GUI/gui_thread.scala
--- a/src/Pure/GUI/gui_thread.scala	Wed Jul 23 11:19:24 2014 +0200
+++ b/src/Pure/GUI/gui_thread.scala	Wed Jul 23 11:22:56 2014 +0200
@@ -2,7 +2,7 @@
     Module:     PIDE-GUI
     Author:     Makarius
 
-Evaluation within the GUI thread: implementation for AWT/Swing.
+Evaluation within the GUI thread (for AWT/Swing).
 */
 
 package isabelle
diff -r 990ffb84489b -r 4c6d44a3a079 src/Tools/jEdit/src/text_overview.scala
--- a/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:19:24 2014 +0200
+++ b/src/Tools/jEdit/src/text_overview.scala	Wed Jul 23 11:22:56 2014 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Tools/jEdit/src/text_overview.scala
     Author:     Makarius
 
-Swing component for text status overview.
+GUI component for text status overview.
 */
 
 package isabelle.jedit