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