isabelle: Changelog

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;

wenzelm [Tue, 06 Jan 2015 11:58:57 +0100] rev 59301

tuned;

blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59300

docs

blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59299

docs

blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59298

docs

blanchet [Tue, 06 Jan 2015 09:59:43 +0100] rev 59297

tuning

haftmann [Mon, 05 Jan 2015 18:39:32 +0100] rev 59296

formal pretty bodies for class specifications, accepting additional formal bookkeeping in locale.ML

wenzelm [Mon, 05 Jan 2015 23:33:39 +0100] rev 59295

merged

wenzelm [Mon, 05 Jan 2015 23:29:38 +0100] rev 59294

clarified visualizer parameters; do not show dummies by default;

wenzelm [Mon, 05 Jan 2015 23:05:17 +0100] rev 59293

tuned metrics;

isabelle