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 comment;
authorwenzelm
Wed, 28 Jan 2015 19:23:03 +0100
changeset 59461 6eabc60641a6
parent 59460 3a357fef24e8
child 59462 c7eff4356885
tuned comment;
src/Tools/Graphview/graph_panel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/Graphview/graph_panel.scala	Wed Jan 28 19:18:08 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Wed Jan 28 19:23:03 2015 +0100
@@ -2,7 +2,7 @@
     Author:     Markus Kaiser, TU Muenchen
     Author:     Makarius
 
-Graphview Java2D drawing panel.
+GUI panel for graph layout.
 */
 
 package isabelle.graphview
isabelle