| Wed, 21 Jan 2015 18:40:02 +0100 | haftmann | sufficent to have graphview as part of jEdit rather than Pure | changeset | files |
| 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 |
| Wed, 21 Jan 2015 14:23:38 +0100 | wenzelm | updated jdk-8u31; | changeset | files |
| Tue, 20 Jan 2015 17:13:05 +0100 | hoelzl | generalized sum_diff_distrib to setsum_subtractf_nat | changeset | files |