isabelle: Changelog

blanchet [Wed, 11 Jun 2014 11:28:46 +0200] rev 57211

updated docs w.r.t. Z3

blanchet [Wed, 11 Jun 2014 11:28:46 +0200] rev 57210

rationalized CVC3 and Yices environment variable -- no need (unlike for Z3) to distinguish between old and new versions

blanchet [Wed, 11 Jun 2014 11:28:46 +0200] rev 57209

removed '_new' sufffix in SMT2 solver names (in some cases)

blanchet [Wed, 11 Jun 2014 11:28:46 +0200] rev 57208

removed old SMT module from Sledgehammer

blanchet [Wed, 11 Jun 2014 08:58:42 +0200] rev 57207

got rid of 'listF' example, which is now subsumed by the real 'list' type

blanchet [Tue, 10 Jun 2014 21:15:57 +0200] rev 57206

changed syntax of map: and rel: arguments to BNF-based datatypes

blanchet [Tue, 10 Jun 2014 19:51:00 +0200] rev 57205

tuning

blanchet [Tue, 10 Jun 2014 19:15:15 +0200] rev 57204

updated Z3 certificates

blanchet [Tue, 10 Jun 2014 19:15:14 +0200] rev 57203

generate ':named' attributes in SMT-LIB 2 problems, to facilitate reconstruction

blanchet [Tue, 10 Jun 2014 19:15:14 +0200] rev 57202

tuning

isabelle