# HG changeset patch
# User wenzelm
# Date 1422469383 -3600
# Node ID 6eabc60641a6d44828bc9e6ad5b9dea77cd7860a
# Parent  3a357fef24e80ad8691b319190c5b77382e8e212
tuned comment;

diff -r 3a357fef24e8 -r 6eabc60641a6 src/Tools/Graphview/graph_panel.scala
--- 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