22 months ago haftmann 2017-06-20 more consistent terminology
22 months ago haftmann 2017-06-20 avoid name particle "the" where no selection is implied
22 months ago haftmann 2017-06-20 more uniform ordering and naming of sections; proper local function
22 months ago haftmann 2017-06-20 tuned internal signature
22 months ago haftmann 2017-06-20 more explicit constructor name
22 months ago haftmann 2017-06-20 tuned whitespace
22 months ago haftmann 2017-06-20 replaced recdef by fun
22 months ago haftmann 2017-06-20 spelling
22 months ago wenzelm 2017-06-19 merged
22 months ago wenzelm 2017-06-19 added spell-checker completion;
22 months ago wenzelm 2017-06-19 clarified modules;
22 months ago wenzelm 2017-06-19 tuned;
22 months ago wenzelm 2017-06-19 clarified modules;
22 months ago wenzelm 2017-06-19 tuned signature; clarified modules;
22 months ago wenzelm 2017-06-19 clarified modules;
22 months ago wenzelm 2017-06-19 tuned;
22 months ago wenzelm 2017-06-19 clarified signature;
22 months ago paulson 2017-06-19 Repaired an inadvertent reordering of the premises of two theorems
22 months ago paulson 2017-06-19 New theorems; stronger theorems; tidier theorems. Also some renaming
22 months ago nipkow 2017-06-17 merged
22 months ago nipkow 2017-06-17 adapted to new simp lemmas
22 months ago nipkow 2017-06-17 added simp rules
22 months ago wenzelm 2017-06-17 more permissive: avoid situations where query is silently ignored;
22 months ago wenzelm 2017-06-17 more robust: do not touch unrelated directory isabelle_repos_other (i.e. bad argument);
22 months ago wenzelm 2017-06-17 always start with fresh clone (with explicitly given rev): more robust on Windows;
22 months ago wenzelm 2017-06-17 reverted 94cad7590015: does not help much on Windows;
22 months ago wenzelm 2017-06-17 tuned signature;
22 months ago wenzelm 2017-06-17 merged
22 months ago wenzelm 2017-06-17 updated package;
22 months ago wenzelm 2017-06-17 maintain overlays within main state of document models; proper pending_input for Isabelle/VSCode;
22 months ago wenzelm 2017-06-16 proper treatment of editor overlays;
22 months ago wenzelm 2017-06-16 tuned;
22 months ago wenzelm 2017-06-16 clarified modules;
22 months ago wenzelm 2017-06-16 tuned signature;
22 months ago wenzelm 2017-06-16 support for separate proof state output;
22 months ago wenzelm 2017-06-16 automatic reformatting;
22 months ago wenzelm 2017-06-16 more general dispatcher operations;
22 months ago wenzelm 2017-06-14 tuned;
22 months ago wenzelm 2017-06-14 clarified modules;
22 months ago wenzelm 2017-06-14 tuned;
22 months ago wenzelm 2017-06-14 tuned;
22 months ago paulson 2017-06-15 Some new material. SIMPRULE STATUS for sum/prod.delta rules!
22 months ago nipkow 2017-06-15 tuned
22 months ago nipkow 2017-06-14 simplified delete/proof
22 months ago wenzelm 2017-06-13 clarified signature;
22 months ago wenzelm 2017-06-13 added abstract editor operations, notably for Query_Operation;
22 months ago wenzelm 2017-06-13 tuned signature;
22 months ago wenzelm 2017-06-13 tuned;
22 months ago wenzelm 2017-06-13 clarified modules;
22 months ago wenzelm 2017-06-13 clarified modules;
22 months ago wenzelm 2017-06-13 updated package;
22 months ago wenzelm 2017-06-13 tuned GUI;
22 months ago wenzelm 2017-06-13 obsolete;
22 months ago wenzelm 2017-06-12 removed pointless entries: not part of api.LanguageEntry;
22 months ago wenzelm 2017-06-12 avoid overlapping line background, notably for "quoted";
22 months ago wenzelm 2017-06-12 tuned rendering;
22 months ago wenzelm 2017-06-12 tuned;
22 months ago wenzelm 2017-06-12 clarified message;
22 months ago wenzelm 2017-06-12 retain vacuous CompletionProvider for now;
22 months ago wenzelm 2017-06-12 tuned;