isabelle: Changelog

wenzelm [Fri, 01 Apr 2016 11:45:04 +0200] rev 62784

adapted to Poly/ML repository version 2e40cadc975a;

wenzelm [Thu, 31 Mar 2016 23:36:33 +0200] rev 62783

explicit mixfix block properties;

wenzelm [Thu, 31 Mar 2016 16:23:25 +0200] rev 62782

clarified modules;

wenzelm [Thu, 31 Mar 2016 15:42:01 +0200] rev 62781

tuned signature;

blanchet [Fri, 01 Apr 2016 17:25:51 +0200] rev 62780

reintroduced check that may guard some tactic failures

blanchet [Fri, 01 Apr 2016 15:17:11 +0200] rev 62779

adapt theory names within the theory

traytel [Thu, 31 Mar 2016 21:19:45 +0200] rev 62778

made tactic more robust

traytel [Thu, 31 Mar 2016 08:38:50 +0200] rev 62777

tuned interface

wenzelm [Wed, 30 Mar 2016 23:47:12 +0200] rev 62776

merged

wenzelm [Wed, 30 Mar 2016 23:46:44 +0200] rev 62775

proper object-logic constraint (amending dd2914250ca7);

isabelle