tuning

finished splitting sum types for corecursors

split sum types in corecursor definition

first step towards splitting corecursor function arguments into (p, g, h) triples

reverted "id" change: The problem is rather that the "%c. f c" argument sometimes gets eta-reduced

replaced jedit_relative_font_size by jedit_font_scale;

need to provide label via some jEdit property;

some support to organize options in sections;

merged

generate "id" rather than (%v. v)

correctly generate sel_coiter and sel_corec theorems

generate "sel_coiters" and friends

sanity check

implemented and use "mk_sum_casesN_balanced"

fixed general case of "mk_sumEN_balanced"

debug

fixed base case of "mk_sumEN_balanced"

prevent inconsistent selector types

minor optimization

allow same selector name for several constructors

removed done TODO

avoid type inference + tuning

use balanced sums for constructors (to gracefully handle 100 constructors or more)

busted -- let's use more neutral names

replacing own dummy value by Haskell's Prelude.undefined

prefer global default font over IsabelleText of jEdit TextArea;

uniform operation on initial delay;

option jedit_load_delay; tuned;

dynamic evaluation of time (e.g. via options); proper setInitialDelay, not setDelay;

proper multi-line tooltip;