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