Thu, 24 Mar 2011 17:49:27 +0100 added "nitrox" tool (Nitpick for first-order TPTP problems) to components
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42105
added "nitrox" tool (Nitpick for first-order TPTP problems) to components
Thu, 24 Mar 2011 17:49:27 +0100 made one more Metis example use the new Skolemizer
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42104
made one more Metis example use the new Skolemizer
Thu, 24 Mar 2011 17:49:27 +0100 Metis examples use the new Skolemizer to test it
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42103
Metis examples use the new Skolemizer to test it
Thu, 24 Mar 2011 17:49:27 +0100 new version of Metis 2.3 (29 Dec. 2010)
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42102
new version of Metis 2.3 (29 Dec. 2010)
Thu, 24 Mar 2011 17:49:27 +0100 remove newly added wrong logic
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42101
remove newly added wrong logic
Thu, 24 Mar 2011 17:49:27 +0100 more precise failure reporting in Sledgehammer/SMT
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42100
more precise failure reporting in Sledgehammer/SMT
Thu, 24 Mar 2011 17:49:27 +0100 avoid evil "export_without_context", which breaks if there are local "fixes"
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42099
avoid evil "export_without_context", which breaks if there are local "fixes"
Thu, 24 Mar 2011 17:49:27 +0100 more robust handling of variables in new Skolemizer
blanchet [Thu, 24 Mar 2011 17:49:27 +0100] rev 42098
more robust handling of variables in new Skolemizer
Thu, 24 Mar 2011 17:10:23 +0100 merged
haftmann [Thu, 24 Mar 2011 17:10:23 +0100] rev 42097
merged
Thu, 24 Mar 2011 17:10:13 +0100 added subsection on Scala specialities
haftmann [Thu, 24 Mar 2011 17:10:13 +0100] rev 42096
added subsection on Scala specialities
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip