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