isabelle: Changelog

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45883

killed dead code

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45882

use new redirection algorithm in Sledgehammer

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45881

fixed parsing of TPTP atoms

wenzelm [Wed, 14 Dec 2011 22:10:04 +0100] rev 45880

tuned signature;

wenzelm [Wed, 14 Dec 2011 21:54:32 +0100] rev 45879

avoid fragile Sign.intern_const -- pass internal names directly; tuned;

wenzelm [Wed, 14 Dec 2011 20:36:17 +0100] rev 45878

tuned;

blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 45877

added new proof redirection code

blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 45876

SPASS is incomplete because of the -Splits and -FullRed options, not just because of -SOS=1 -- don't pretend the opposite

blanchet [Wed, 14 Dec 2011 18:07:32 +0100] rev 45875

make sure that all symbols are declared in untyped SPASS DFG output (broken since 3b8606fba2dd)

bulwahn [Wed, 14 Dec 2011 17:49:42 +0100] rev 45874

NEWS

isabelle