Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/text_overview.scala
changeset 57613 4c6d44a3a079
parent 57612 990ffb84489b
child 61195 42419fe6f660 
--- 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