10 hours ago wenzelm [Sun, 23 Sep 2018 21:49:31 +0200] rev 69045 default tip
discontinued old-style goal cases;
NEWS src/Pure/Isar/proof.ML src/Pure/Isar/proof_context.ML

10 hours ago wenzelm [Sun, 23 Sep 2018 21:38:30 +0200] rev 69044
tuned;
NEWS

11 hours ago wenzelm [Sun, 23 Sep 2018 20:33:35 +0200] rev 69043
more robust: logic image might be absent in PIDE session;
src/HOL/Mirabelle/ex/Ex.thy

12 hours ago wenzelm [Sun, 23 Sep 2018 19:59:53 +0200] rev 69042
discontinued old-style inner comments;
NEWS src/Pure/Syntax/lexicon.ML src/Pure/Syntax/syntax_phases.ML

12 hours ago wenzelm [Sun, 23 Sep 2018 19:59:32 +0200] rev 69041
tuned;
src/Doc/Isar_Ref/Outer_Syntax.thy

12 hours ago wenzelm [Sun, 23 Sep 2018 19:17:57 +0200] rev 69040
eliminated old-style inner comments;
src/HOL/Data_Structures/Tree234_Map.thy

14 hours ago nipkow [Sun, 23 Sep 2018 17:14:06 +0200] rev 69039
More standard precedences
src/HOL/Library/Complete_Partial_Order2.thy

16 hours ago nipkow [Sun, 23 Sep 2018 15:42:19 +0200] rev 69038
more standard syntax
src/HOL/GCD.thy src/HOL/Library/Complete_Partial_Order2.thy

18 hours ago nipkow [Sun, 23 Sep 2018 13:45:37 +0200] rev 69037
News
NEWS

19 hours ago nipkow [Sun, 23 Sep 2018 12:50:12 +0200] rev 69036
use standard syntax
src/HOL/Data_Structures/Sorting.thy src/HOL/Library/Multiset.thy