isabelle: Changelog

wenzelm [Mon, 07 Jan 2013 11:59:37 +0100] rev 50760

tuned comment -- do not claim anything;

blanchet [Mon, 07 Jan 2013 19:44:40 +0100] rev 50759

cleaner context threading

blanchet [Mon, 07 Jan 2013 19:15:01 +0100] rev 50758

tuned output

wenzelm [Mon, 07 Jan 2013 10:17:11 +0100] rev 50757

slightly odd duplication of Pure options for Proof General (amending cb5cdbb645cd);

blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50756

put single-theorem names before multi-theorem ones (broken since 5d147d492792)

blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50755

get rid of spurious "Isar" proofs

blanchet [Sun, 06 Jan 2013 17:38:29 +0100] rev 50754

also generate queries for goals with too many Isar dependencies

wenzelm [Sun, 06 Jan 2013 12:44:45 +0100] rev 50753

updated to scala-2.10.0;

blanchet [Sun, 06 Jan 2013 10:02:34 +0100] rev 50752

merged

blanchet [Sat, 05 Jan 2013 22:31:33 +0100] rev 50751

tuned message

isabelle