| Wed, 26 Oct 2016 16:15:37 +0200 | wenzelm | more informative error (see 6e9c22c494c5); | changeset | files |
| Wed, 26 Oct 2016 16:05:41 +0200 | wenzelm | tuned signature -- more friendly for experimentation; | changeset | files |
| Wed, 26 Oct 2016 16:04:05 +0200 | wenzelm | clarified hg push return code: 1 means "nothing to push"; | changeset | files |
| 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 |