2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-09-11 wenzelm 2012-09-11 merged
2012-09-11 blanchet 2012-09-11 generate "id" rather than (%v. v)
2012-09-11 blanchet 2012-09-11 correctly generate sel_coiter and sel_corec theorems
2012-09-10 blanchet 2012-09-10 generate "sel_coiters" and friends
2012-09-10 blanchet 2012-09-10 sanity check
2012-09-10 blanchet 2012-09-10 implemented and use "mk_sum_casesN_balanced"
2012-09-10 blanchet 2012-09-10 fixed general case of "mk_sumEN_balanced"
2012-09-10 blanchet 2012-09-10 debug
2012-09-10 blanchet 2012-09-10 fixed base case of "mk_sumEN_balanced"
2012-09-10 blanchet 2012-09-10 prevent inconsistent selector types
2012-09-10 blanchet 2012-09-10 minor optimization
2012-09-10 blanchet 2012-09-10 allow same selector name for several constructors
2012-09-10 blanchet 2012-09-10 removed done TODO
2012-09-10 blanchet 2012-09-10 avoid type inference + tuning
2012-09-10 blanchet 2012-09-10 use balanced sums for constructors (to gracefully handle 100 constructors or more)
2012-09-10 blanchet 2012-09-10 busted -- let's use more neutral names
2012-09-10 bulwahn 2012-09-10 replacing own dummy value by Haskell's Prelude.undefined
2012-09-11 wenzelm 2012-09-11 prefer global default font over IsabelleText of jEdit TextArea;
2012-09-11 wenzelm 2012-09-11 uniform operation on initial delay;
2012-09-10 wenzelm 2012-09-10 option jedit_load_delay; tuned;
2012-09-10 wenzelm 2012-09-10 dynamic evaluation of time (e.g. via options); proper setInitialDelay, not setDelay;
2012-09-10 wenzelm 2012-09-10 proper multi-line tooltip;
2012-09-10 wenzelm 2012-09-10 more detailed option tooltip; more formal option.load; properties change propagation to Session_Dockable;
2012-09-10 wenzelm 2012-09-10 more systematic JEdit_Options.make_component; separate module Isabelle_Logic;
2012-09-10 wenzelm 2012-09-10 manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
2012-09-10 wenzelm 2012-09-10 formal markup for @{file} (for hyperlinks etc.) -- interpret path wrt. master directory as usual;
2012-09-10 wenzelm 2012-09-10 more explicit indication of legacy features;
2012-09-10 wenzelm 2012-09-10 more explicit indication of legacy features;
2012-09-10 traytel 2012-09-10 simplify "Process" example even further
2012-09-10 traytel 2012-09-10 stabilized generation of parameterized theorem
2012-09-10 nipkow 2012-09-10 added snippets
2012-09-09 blanchet 2012-09-09 simplify "Process" example further
2012-09-09 blanchet 2012-09-09 simplify "Process" example
2012-09-09 traytel 2012-09-09 full name of a type as key in bnf table
2012-09-09 blanchet 2012-09-09 fixed bug with one-value codatatype "codata 'a dead_foo = A"
2012-09-09 blanchet 2012-09-09 tuning
2012-09-09 blanchet 2012-09-09 fixed and reenabled "corecs" theorems
2012-09-09 blanchet 2012-09-09 fixed and enabled generation of "coiters" theorems, including the recursive case
2012-09-09 blanchet 2012-09-09 generate "fld_unf_corecs" as well
2012-09-09 blanchet 2012-09-09 reactivated generation of "coiters" theorems
2012-09-09 blanchet 2012-09-09 use map_id, not map_id', to allow better composition
2012-09-09 traytel 2012-09-09 open typedefs everywhere in the package
2012-09-09 traytel 2012-09-09 open typedef for datatypes
2012-09-08 blanchet 2012-09-08 fixed and enabled iterator/recursor theorems
2012-09-08 blanchet 2012-09-08 renamed for consistency
2012-09-08 blanchet 2012-09-08 oops
2012-09-08 blanchet 2012-09-08 tuning
2012-09-08 blanchet 2012-09-08 for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants
2012-09-08 blanchet 2012-09-08 fixed bug with one-value types with phantom type arguments
2012-09-08 blanchet 2012-09-08 imported patch debugging
2012-09-08 blanchet 2012-09-08 repaired "nofail4" example
2012-09-08 blanchet 2012-09-08 renamed xxxBNF to pre_xxx
2012-09-08 blanchet 2012-09-08 fixed handling of map of "fun"
2012-09-08 blanchet 2012-09-08 comment out code that's not ready
2012-09-08 blanchet 2012-09-08 tuning
2012-09-08 blanchet 2012-09-08 construct the right iterator theorem in the recursive case
2012-09-08 blanchet 2012-09-08 some work on coiter tactic
2012-09-08 blanchet 2012-09-08 more sugar on codatatypes
2012-09-08 blanchet 2012-09-08 define corecursors