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