2015-01-06 wenzelm [Tue, 06 Jan 2015 22:34:26 +0100] rev 59307
rubberband method as in old browser;
tuned;
src/Tools/Graphview/layout.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 20:12:46 +0100] rev 59306
tuned;
src/Tools/Graphview/layout.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 17:08:18 +0100] rev 59305
tuned signature;
src/Tools/Graphview/graph_panel.scala src/Tools/Graphview/layout.scala src/Tools/Graphview/visualizer.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 16:43:17 +0100] rev 59304
proper translate vertex (cf. 4d985afc0565);
src/Tools/Graphview/layout.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 16:41:31 +0100] rev 59303
tuned signature;
src/Tools/Graphview/graph_panel.scala src/Tools/Graphview/shapes.scala src/Tools/Graphview/visualizer.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 16:33:30 +0100] rev 59302
explict layout graph structure, with dummies and coordinates;
explicit metrics for dummy box;
tuned signature;
misc tuning;
src/Tools/Graphview/graph_panel.scala src/Tools/Graphview/layout.scala src/Tools/Graphview/main_panel.scala src/Tools/Graphview/metrics.scala src/Tools/Graphview/shapes.scala src/Tools/Graphview/visualizer.scala

2015-01-06 wenzelm [Tue, 06 Jan 2015 11:58:57 +0100] rev 59301
tuned;
src/Pure/Tools/class_deps.ML

2015-01-06 blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59300
docs
src/Doc/Datatypes/Datatypes.thy src/Doc/Datatypes/document/root.tex

2015-01-06 blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59299
docs
src/Doc/Datatypes/Datatypes.thy

2015-01-06 blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59298
docs
src/Doc/Datatypes/Datatypes.thy