isabelle: Changelog

wenzelm [Thu, 08 Sep 2016 18:18:57 +0200] rev 63827

option "checkpoint" helps to fine-tune global heap space management;

blanchet [Thu, 08 Sep 2016 10:35:08 +0200] rev 63826

made it easier to catch 'empty datatype' exception

blanchet [Thu, 08 Sep 2016 10:16:39 +0200] rev 63825

export ML functions

blanchet [Thu, 08 Sep 2016 10:16:37 +0200] rev 63824

tuning

wenzelm [Thu, 08 Sep 2016 00:43:21 +0200] rev 63823

minimal HTTP server;

wenzelm [Wed, 07 Sep 2016 22:28:40 +0200] rev 63822

merged

wenzelm [Wed, 07 Sep 2016 22:28:30 +0200] rev 63821

unfold_abs_def is enabled by default;

haftmann [Wed, 07 Sep 2016 11:59:09 +0200] rev 63820

discontinued theory-local special syntax for lattice orderings

haftmann [Wed, 07 Sep 2016 11:59:07 +0200] rev 63819

keep locale lifting rules on the global level

blanchet [Wed, 07 Sep 2016 16:06:59 +0200] rev 63818

tuning

isabelle