isabelle: Changelog

nipkow [Sat, 29 Dec 2018 16:58:53 +0100] rev 69530

more capitalization

nipkow [Sat, 29 Dec 2018 15:43:53 +0100] rev 69529

capitalize proper names in lemma names

haftmann [Sat, 29 Dec 2018 09:28:30 +0000] rev 69528

explicit dependencies for includes

haftmann [Sat, 29 Dec 2018 09:28:28 +0000] rev 69527

more correct handling of symbols for includes

wenzelm [Fri, 28 Dec 2018 19:01:35 +0100] rev 69526

more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";

wenzelm [Fri, 28 Dec 2018 19:06:33 +0100] rev 69525

merged;

wenzelm [Fri, 28 Dec 2018 16:58:27 +0100] rev 69524

clarified sessions_deps, according to Isabelle/MMT usage;

wenzelm [Thu, 27 Dec 2018 17:15:40 +0100] rev 69523

tuned signature: for other dump-like tools;

wenzelm [Thu, 27 Dec 2018 16:59:55 +0100] rev 69522

unused;

wenzelm [Thu, 27 Dec 2018 16:32:19 +0100] rev 69521

tuned;

isabelle