isabelle: Changelog

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;

wenzelm [Thu, 27 Dec 2018 16:56:53 +0100] rev 69520

clarified defaults via system options;

nipkow [Fri, 28 Dec 2018 19:00:25 +0100] rev 69519

added bib-file

nipkow [Fri, 28 Dec 2018 18:53:19 +0100] rev 69518

tuned headers etc, added bib-file

isabelle