isabelle: Changelog

blanchet [Sat, 29 Oct 2016 00:39:32 +0200] rev 64429

adapted Nunchaku integration to keyword renaming

wenzelm [Fri, 28 Oct 2016 20:41:18 +0200] rev 64428

tuned;

wenzelm [Fri, 28 Oct 2016 20:01:38 +0200] rev 64427

merged

wenzelm [Fri, 28 Oct 2016 19:08:35 +0200] rev 64426

Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7

kuncar [Fri, 28 Oct 2016 19:54:41 +0200] rev 64425

a more general relator domain rule for the function type

wenzelm [Fri, 28 Oct 2016 16:59:25 +0200] rev 64424

Haskabelle is presently unmaintained;

wenzelm [Fri, 28 Oct 2016 15:47:18 +0200] rev 64423

tuned;

wenzelm [Thu, 27 Oct 2016 21:52:44 +0200] rev 64422

merged

wenzelm [Thu, 27 Oct 2016 21:52:12 +0200] rev 64421

more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops;

wenzelm [Thu, 27 Oct 2016 20:41:06 +0200] rev 64420

avoid multiple PIDE markup due to (potentially infinite) backtracking;

isabelle