Wed, 21 Jan 2015 18:40:00 +0100 | haftmann | option for formally inlined class specifications in hierarchy graph | changeset | files |
Wed, 21 Jan 2015 17:27:58 +0100 | wenzelm | clarified iterations: enforce full top_down/bottom_up cycle for better stability of layout; | changeset | files |
Wed, 21 Jan 2015 16:07:37 +0100 | wenzelm | updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X); | changeset | files |