isabelle: Changelog

wenzelm [Mon, 22 Jun 2015 19:22:48 +0200] rev 60554

added method "sleep";

wenzelm [Mon, 22 Jun 2015 18:55:47 +0200] rev 60553

tuned signature;

wenzelm [Mon, 22 Jun 2015 17:44:43 +0200] rev 60552

tuned whitespace;

wenzelm [Mon, 22 Jun 2015 16:48:27 +0200] rev 60551

clarified nesting of Isar goal structure; tuned message;

wenzelm [Mon, 22 Jun 2015 11:35:30 +0200] rev 60550

tuned;

blanchet [Mon, 22 Jun 2015 16:56:03 +0200] rev 60549

keep 'Pure.all' in goals when preplaying

blanchet [Mon, 22 Jun 2015 16:56:03 +0200] rev 60548

use right context for preplay, to avoid errors in fact lookup

blanchet [Mon, 22 Jun 2015 16:56:03 +0200] rev 60547

reverted some too aggressive TPTP interpreter changes

blanchet [Mon, 22 Jun 2015 16:56:03 +0200] rev 60546

automatically build image

blanchet [Mon, 22 Jun 2015 16:56:03 +0200] rev 60545

filter out more Poly/ML messages from (ad hoc) TPTP toools

isabelle