isabelle: Changelog

wenzelm [Tue, 13 Aug 2013 12:19:45 +0200] rev 53001

support somewhat standard "select all" by default;

wenzelm [Tue, 13 Aug 2013 11:57:42 +0200] rev 53000

more cleanup;

wenzelm [Tue, 13 Aug 2013 11:49:01 +0200] rev 52999

more explicit error, e.g. for sledgehammer query operation applied in non-HOL session;

wenzelm [Tue, 13 Aug 2013 11:13:26 +0200] rev 52998

tuned proofs;

blanchet [Tue, 13 Aug 2013 11:34:56 +0200] rev 52997

added flag for jEdit/PIDE asynchronous mode

blanchet [Tue, 13 Aug 2013 10:29:49 +0200] rev 52996

updated Vampire version numbers

blanchet [Tue, 13 Aug 2013 10:26:56 +0200] rev 52995

Vampire 3.0 requires types to be declared -- make it happy (and get rid of "implicit" types since only Satallax seems to support them anymore)

blanchet [Tue, 13 Aug 2013 09:58:08 +0200] rev 52994

whitepsace tuning

blanchet [Tue, 13 Aug 2013 09:57:55 +0200] rev 52993

more robust parsing of Vampire proofs with "introduced" names

blanchet [Mon, 12 Aug 2013 23:36:43 +0200] rev 52992

fixed "sorry"d proofs

isabelle