isabelle: Changelog

nipkow [Thu, 27 Dec 2018 19:48:28 +0100] rev 69508

tuned headers; ~ -> \<not>

Lars Hupel <lars.hupel@mytum.de> [Thu, 27 Dec 2018 17:36:19 +0100] rev 69507

update LTS Haskell version

wenzelm [Wed, 26 Dec 2018 20:57:23 +0100] rev 69506

{* verbatim *} is explicit legacy feature;

wenzelm [Wed, 26 Dec 2018 16:25:20 +0100] rev 69505

isabelle update_cartouches -t;

wenzelm [Wed, 26 Dec 2018 16:07:28 +0100] rev 69504

tuned -- avoid conflict with cartouche argument;

wenzelm [Wed, 26 Dec 2018 15:28:23 +0100] rev 69503

unused -- document lacks {* ... *};

haftmann [Sun, 23 Dec 2018 20:51:23 +0000] rev 69502

more rules

wenzelm [Sun, 23 Dec 2018 15:40:28 +0100] rev 69501

tuned message;

wenzelm [Sat, 22 Dec 2018 17:02:29 +0100] rev 69500

tuned messages;

wenzelm [Sat, 22 Dec 2018 15:45:40 +0100] rev 69499

more Haskell operations: managed resources for threads;

isabelle