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;

more detailed option tooltip; more formal option.load; properties change propagation to Session_Dockable;

more systematic JEdit_Options.make_component; separate module Isabelle_Logic;

manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);

formal markup for @{file} (for hyperlinks etc.) -- interpret path wrt. master directory as usual;

more explicit indication of legacy features;

more explicit indication of legacy features;

simplify "Process" example even further

stabilized generation of parameterized theorem

added snippets

simplify "Process" example further

simplify "Process" example

full name of a type as key in bnf table

fixed bug with one-value codatatype "codata 'a dead_foo = A"

tuning

fixed and reenabled "corecs" theorems

fixed and enabled generation of "coiters" theorems, including the recursive case

generate "fld_unf_corecs" as well