Wed, 26 Oct 2016 15:21:16 +0200 | blanchet | proper Nunchaku setup to use CVC4 and Kodkod | changeset | files |
Wed, 26 Oct 2016 15:14:17 +0200 | wenzelm | more specific hardware information: relevant for ultimate Mac OS X version; | changeset | files |
Wed, 26 Oct 2016 14:52:41 +0200 | wenzelm | just one task to identify Isabelle + AFP repository snapshots and build release; | changeset | files |