Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Wed, 23 Jul 2014 11:22:56 +0200
changeset 57613 4c6d44a3a079
parent 57612 990ffb84489b
child 57614 416ce9617780
tuned comments;
src/Pure/GUI/gui_thread.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/text_overview.scala file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle