# HG changeset patch
# User wenzelm
# Date 1420229974 -3600
# Node ID e411afcfaa296c2612c94b5959294744ac1833e8
# Parent  d20cdab3bfeb52ce205f8e50c4844d4bf1a20969
tuned headers;

diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/graph_panel.scala
--- a/src/Tools/Graphview/graph_panel.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/graph_panel.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Graphview Java2D drawing panel.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/layout.scala
--- a/src/Tools/Graphview/layout.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/layout.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/layout.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Pendulum DAG layout algorithm.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/main_panel.scala
--- a/src/Tools/Graphview/main_panel.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/main_panel.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/main_panel.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Graph Panel wrapper.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/model.scala
--- a/src/Tools/Graphview/model.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/model.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/model.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Internal graph representation.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/mutator.scala
--- a/src/Tools/Graphview/mutator.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/mutator.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/mutator.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Filters and add-operations on graphs.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/mutator_dialog.scala
--- a/src/Tools/Graphview/mutator_dialog.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/mutator_dialog.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Mutator selection and configuration dialog.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/mutator_event.scala
--- a/src/Tools/Graphview/mutator_event.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/mutator_event.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/mutator_event.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Events for dialog synchronization.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/popups.scala
--- a/src/Tools/Graphview/popups.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/popups.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/popups.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 PopupMenu generation for graph components.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/shapes.scala
--- a/src/Tools/Graphview/shapes.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/shapes.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/shapes.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Drawable shapes.
 */
diff -r d20cdab3bfeb -r e411afcfaa29 src/Tools/Graphview/visualizer.scala
--- a/src/Tools/Graphview/visualizer.scala	Fri Jan 02 20:54:14 2015 +0100
+++ b/src/Tools/Graphview/visualizer.scala	Fri Jan 02 21:19:34 2015 +0100
@@ -1,5 +1,6 @@
 /*  Title:      Tools/Graphview/visualizer.scala
     Author:     Markus Kaiser, TU Muenchen
+    Author:     Makarius
 
 Graph visualization parameters and interface state.
 */