isabelle: Changelog

blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53532

disable some checks for huge background theories

blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53531

tuning

blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53530

reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)

blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53529

reverted f99ee3adb81d -- that old logic seems to make a difference still today

wenzelm [Wed, 11 Sep 2013 11:38:07 +0200] rev 53528

merged

wenzelm [Wed, 11 Sep 2013 11:34:27 +0200] rev 53527

tuned comment;

wenzelm [Wed, 11 Sep 2013 11:08:48 +0200] rev 53526

tuned;

wenzelm [Wed, 11 Sep 2013 11:07:39 +0200] rev 53525

updated for release;

wenzelm [Wed, 11 Sep 2013 00:00:59 +0200] rev 53524

tuned proofs;

wenzelm [Tue, 10 Sep 2013 23:50:03 +0200] rev 53523

tuned proofs;

isabelle