changeset 57613 | 4c6d44a3a079 |
parent 57612 | 990ffb84489b |
child 61194 | e4699ef5cf90 |
--- 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