tuned message;

more direct Output.output; avoid newline in Code_Printer/Pretty.str;

avoid newline in Pretty.str;

merged

generalise lemma

integral of the product of count spaces equals the integral of the count space of the product type

import general thms from Density_Compiler

backout cefeea956989: Graphview *is* required in Pure to replace old browser eventually;

backed out obsolete workaround from ef1edfb36af7

disjunctive bottom and supremum lists

sufficent to have graphview as part of jEdit rather than Pure

option for formally inlined class specifications in hierarchy graph

clarified iterations: enforce full top_down/bottom_up cycle for better stability of layout;

updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X);

updated jdk-8u31;

generalized sum_diff_distrib to setsum_subtractf_nat

tuned measurability proofs

typo in description

tuned message;

always swap panels, which leads to slightly better GUI layout;

suppress inactive controls (again);

tuned colors;

tuned;

more symmetric layout of main panel; misc tuning;

clarified edge_color;

proper tooltips -- override action toolTip which is empty here;

no document here;

discontinued attempt at alphabetic_order -- selection via regex should be sufficient;