isabelle: Changelog

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

blanchet [Mon, 12 Aug 2013 23:21:06 +0200] rev 52991

repaired proofs (after change to xxx_case_def)

traytel [Mon, 12 Aug 2013 22:38:39 +0200] rev 52990

temporary sorry's for temporarily nonterminating (due to 2b430bbb5a1a) proofs

blanchet [Mon, 12 Aug 2013 21:30:37 +0200] rev 52989

qualify intermediate typedefs

isabelle