| #
25b91132 |
|
28-Jan-2015 |
wenzelm <none@none> |
clarified module name;
--HG--
rename : src/Tools/Graphview/visualizer.scala => src/Tools/Graphview/graphview.scala
|
| #
62632c06 |
|
19-Jan-2015 |
wenzelm <none@none> |
more symmetric layout of main panel;
misc tuning;
|
| #
7908f989 |
|
08-Jan-2015 |
wenzelm <none@none> |
tuned;
|
| #
e1df35e0 |
|
05-Jan-2015 |
wenzelm <none@none> |
separate module Metrics;
maintain static metrics (with font) and visible_graph via layout;
|
| #
a838e0a4 |
|
04-Jan-2015 |
wenzelm <none@none> |
clarified static full_graph vs. dynamic visible_graph;
tuned;
|
| #
a89536a6 |
|
03-Jan-2015 |
wenzelm <none@none> |
tuned;
|
| #
4129f46a |
|
03-Jan-2015 |
wenzelm <none@none> |
clarified fit_to_window: floor scale within window bounds;
|
| #
56dec111 |
|
03-Jan-2015 |
wenzelm <none@none> |
tuned menu items;
|
| #
98ef9bd0 |
|
03-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
331be8f5 |
|
03-Jan-2015 |
wenzelm <none@none> |
more formal Graph_Display.Node (with ordering) and Graph_Display.Edge;
misc tuning;
tuned signature;
|
| #
a9c5fc80 |
|
02-Jan-2015 |
wenzelm <none@none> |
tuned headers;
|
| #
282ee19a |
|
01-Jan-2015 |
wenzelm <none@none> |
more dynamic visualizer -- re-use Isabelle/jEdit options;
clarified iTextField error: like Isabelle/jEdit search field;
tuned signature;
|
| #
35ec6f3d |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned signature;
|
| #
0d3566c6 |
|
01-Jan-2015 |
wenzelm <none@none> |
tuned whitespace;
|
| #
bbe9df58 |
|
30-Dec-2014 |
wenzelm <none@none> |
clarified source location;
--HG--
rename : src/Tools/Graphview/src/graph_panel.scala => src/Tools/Graphview/graph_panel.scala
rename : src/Tools/Graphview/src/layout_pendulum.scala => src/Tools/Graphview/layout_pendulum.scala
rename : src/Tools/Graphview/src/main_panel.scala => src/Tools/Graphview/main_panel.scala
rename : src/Tools/Graphview/src/model.scala => src/Tools/Graphview/model.scala
rename : src/Tools/Graphview/src/mutator.scala => src/Tools/Graphview/mutator.scala
rename : src/Tools/Graphview/src/mutator_dialog.scala => src/Tools/Graphview/mutator_dialog.scala
rename : src/Tools/Graphview/src/mutator_event.scala => src/Tools/Graphview/mutator_event.scala
rename : src/Tools/Graphview/src/popups.scala => src/Tools/Graphview/popups.scala
rename : src/Tools/Graphview/src/shapes.scala => src/Tools/Graphview/shapes.scala
rename : src/Tools/Graphview/src/visualizer.scala => src/Tools/Graphview/visualizer.scala
|