isabelle: Changelog

wenzelm [Wed, 26 Oct 2016 14:50:28 +0200] rev 64404

tuned;

paulson <lp15@cam.ac.uk> [Wed, 26 Oct 2016 12:22:58 +0100] rev 64403

Deleted spurious markup

wenzelm [Wed, 26 Oct 2016 11:35:41 +0200] rev 64402

latest Mac OS X versions *are* still supported, but presently without formal reference systems;

wenzelm [Tue, 25 Oct 2016 20:48:03 +0200] rev 64401

pagecolor no longer exists; uniform use of pdfpagelabels (see 790f73fa8b36);

wenzelm [Tue, 25 Oct 2016 19:44:56 +0200] rev 64400

merged

wenzelm [Tue, 25 Oct 2016 19:44:20 +0200] rev 64399

use other remote_mac: macbroy30 is down;

wenzelm [Tue, 25 Oct 2016 17:22:05 +0200] rev 64398

more robust printing of names in the context of outer syntax;

wenzelm [Tue, 25 Oct 2016 14:06:43 +0200] rev 64397

more informative error (stderr);

paulson <lp15@cam.ac.uk> [Tue, 25 Oct 2016 16:30:13 +0100] rev 64396

more new material

paulson <lp15@cam.ac.uk> [Tue, 25 Oct 2016 15:48:31 +0100] rev 64395

Merge

isabelle