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