isabelle: Changelog

hoelzl [Thu, 23 Jul 2015 16:40:47 +0200] rev 60772

Measures form a CCPO

hoelzl [Thu, 23 Jul 2015 16:39:10 +0200] rev 60771

reorganized Extended_Real

wenzelm [Thu, 23 Jul 2015 14:25:05 +0200] rev 60770

isabelle update_cartouches;

wenzelm [Thu, 23 Jul 2015 14:20:51 +0200] rev 60769

tuned proofs;

wenzelm [Thu, 23 Jul 2015 13:28:34 +0200] rev 60768

proper latex;

wenzelm [Wed, 22 Jul 2015 23:26:00 +0200] rev 60767

tuned proofs;

wenzelm [Wed, 22 Jul 2015 14:55:42 +0200] rev 60766

tuned proofs;

wenzelm [Tue, 21 Jul 2015 19:04:36 +0200] rev 60765

support for ML debugger;

wenzelm [Tue, 21 Jul 2015 14:12:45 +0200] rev 60764

more explicit thread identification;

wenzelm [Tue, 21 Jul 2015 14:07:06 +0200] rev 60763

avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;

isabelle