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 headers;
authorwenzelm
Fri, 02 Jan 2015 21:19:34 +0100
changeset 59240 e411afcfaa29
parent 59239 d20cdab3bfeb
child 59241 541b95e94dc7
tuned headers;
src/Tools/Graphview/graph_panel.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/layout.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/main_panel.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/model.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/mutator.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/mutator_dialog.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/mutator_event.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/popups.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/shapes.scala file | annotate | diff | comparison | revisions
src/Tools/Graphview/visualizer.scala file | annotate | diff | comparison | revisions 
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
--- 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.
 */
isabelle