16 months ago wenzelm 2017-06-21 more completion;
16 months ago wenzelm 2017-06-21 clarified modules;
16 months ago wenzelm 2017-06-21 tuned signature;
16 months ago blanchet 2017-06-21 added -d option to Mirabelle
16 months ago haftmann 2017-06-20 stripped code pre/postprocessor setup for real from superfluous rules
16 months ago paulson 2017-06-21 Tidying up integration theory and some new theorems
16 months ago wenzelm 2017-06-21 more completion;
16 months ago wenzelm 2017-06-21 tuned signature;
16 months ago wenzelm 2017-06-21 tuned signature;
16 months ago wenzelm 2017-06-21 tuned signature;
16 months ago haftmann 2017-06-20 deleting a code equation never leads to unimplemented function
16 months ago haftmann 2017-06-20 avoid ancient [code, code del] antipattern
16 months ago haftmann 2017-06-20 obsolete
16 months ago haftmann 2017-06-20 register equations stemming from extracted proofs as specification rules
16 months ago haftmann 2017-06-20 tuned
16 months ago wenzelm 2017-06-20 merged
16 months ago wenzelm 2017-06-20 tuned signature;
16 months ago wenzelm 2017-06-20 proper treatment of empty result;
16 months ago wenzelm 2017-06-20 clarified modules;
16 months ago wenzelm 2017-06-20 tuned signature;
16 months ago wenzelm 2017-06-20 provide spell-checker menu via completion commands;
16 months ago wenzelm 2017-06-20 added commands for spell-checker dictionary;
16 months ago wenzelm 2017-06-20 tuned signature;
16 months ago blanchet 2017-06-20 tuning
16 months ago blanchet 2017-06-20 SMT news
16 months ago blanchet 2017-06-20 correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code
16 months ago haftmann 2017-06-20 do not print unimplemented functions
16 months ago haftmann 2017-06-20 dropped void values
16 months ago haftmann 2017-06-20 more uniform order of constructors
16 months ago haftmann 2017-06-20 more consistent terminology
16 months ago haftmann 2017-06-20 avoid name particle "the" where no selection is implied
16 months ago haftmann 2017-06-20 more uniform ordering and naming of sections; proper local function
16 months ago haftmann 2017-06-20 tuned internal signature
16 months ago haftmann 2017-06-20 more explicit constructor name
16 months ago haftmann 2017-06-20 tuned whitespace
16 months ago haftmann 2017-06-20 replaced recdef by fun
16 months ago haftmann 2017-06-20 spelling
16 months ago wenzelm 2017-06-19 merged
16 months ago wenzelm 2017-06-19 added spell-checker completion;
16 months ago wenzelm 2017-06-19 clarified modules;
16 months ago wenzelm 2017-06-19 tuned;
16 months ago wenzelm 2017-06-19 clarified modules;
16 months ago wenzelm 2017-06-19 tuned signature; clarified modules;
16 months ago wenzelm 2017-06-19 clarified modules;
16 months ago wenzelm 2017-06-19 tuned;
16 months ago wenzelm 2017-06-19 clarified signature;
16 months ago paulson 2017-06-19 Repaired an inadvertent reordering of the premises of two theorems
16 months ago paulson 2017-06-19 New theorems; stronger theorems; tidier theorems. Also some renaming
16 months ago nipkow 2017-06-17 merged
16 months ago nipkow 2017-06-17 adapted to new simp lemmas
16 months ago nipkow 2017-06-17 added simp rules
16 months ago wenzelm 2017-06-17 more permissive: avoid situations where query is silently ignored;
16 months ago wenzelm 2017-06-17 more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
16 months ago wenzelm 2017-06-17 always start with fresh clone (with explicitly given rev): more robust on Windows;
16 months ago wenzelm 2017-06-17 reverted 94cad7590015: does not help much on Windows;
16 months ago wenzelm 2017-06-17 tuned signature;
16 months ago wenzelm 2017-06-17 merged
16 months ago wenzelm 2017-06-17 updated package;
16 months ago wenzelm 2017-06-17 maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
16 months ago wenzelm 2017-06-16 proper treatment of editor overlays;