isabelle: Summary

16 hours ago	wenzelm	2017-09-23	merged default tip	changeset \| files
22 hours ago	wenzelm	2017-09-23	Added tag Isabelle2017-RC3 for changeset 4f73201b8043	changeset \| files
22 hours ago	wenzelm	2017-09-23	updated component: static build of for x86-linux, using actual cvc4 1.5 (see also c41642bc1ebb); Isabelle2017-RC3	changeset \| files
42 hours ago	blanchet	2017-09-22	updated CVC4 and E components with 32-bit Linux and rebuild 64-bit Linux binaries	changeset \| files
2 days ago	wenzelm	2017-09-21	updated screenshots;	changeset \| files
2 days ago	wenzelm	2017-09-21	misc tuning and updates for release;	changeset \| files
2 days ago	wenzelm	2017-09-21	avoid duplicate message for @{action} in particular (see also @{action} within Pure);	changeset \| files
3 days ago	wenzelm	2017-09-21	more on indentation;	changeset \| files
4 days ago	wenzelm	2017-09-19	clarified "purge": retain .aux files etc. before "isabelle document", to allow 'document_files' providing such generated files (see also c3ea910b3581, 38ce936acb99);	changeset \| files
4 days ago	wenzelm	2017-09-19	clarified signature according to Scala version;	changeset \| files
...

16 hours ago	ebb97a834338	default	changeset \| changelog \| files
...

isabelle