| Fri, 22 Sep 2017 13:07:11 -0300 | blanchet | updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries | changeset | files |
| Thu, 21 Sep 2017 15:37:01 +0200 | wenzelm | updated screenshots; | changeset | files |
| Thu, 21 Sep 2017 13:21:36 +0200 | wenzelm | misc tuning and updates for release; | changeset | files |
| Thu, 21 Sep 2017 12:47:16 +0200 | wenzelm | avoid duplicate message for @{action} in particular (see also @{action} within Pure); | changeset | files |
| Thu, 21 Sep 2017 10:58:34 +0200 | wenzelm | more on indentation; | changeset | files |
| Tue, 19 Sep 2017 14:26:25 +0200 | wenzelm | clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99); | changeset | files |