isabelle: Changelog

wenzelm [Sat, 22 Oct 2016 16:39:27 +0200] rev 64345

permissive rename operation (amending b265dd04d57d);

wenzelm [Sat, 22 Oct 2016 13:41:18 +0200] rev 64344

pro-forma update to cygwin_2016-1 (web service still missing);

wenzelm [Sat, 22 Oct 2016 13:11:37 +0200] rev 64343

updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;

wenzelm [Sat, 22 Oct 2016 12:34:58 +0200] rev 64342

regular user tool;

wenzelm [Sat, 22 Oct 2016 12:34:17 +0200] rev 64341

avoid deprecated Scala;

wenzelm [Fri, 21 Oct 2016 21:03:17 +0200] rev 64340

minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;

wenzelm [Fri, 21 Oct 2016 20:58:51 +0200] rev 64339

misc tuning and updates;

wenzelm [Fri, 21 Oct 2016 20:49:40 +0200] rev 64338

clarified default args; more ambitious tests;

wenzelm [Fri, 21 Oct 2016 18:18:26 +0200] rev 64337

speculative support for latest Mac OS X versions -- no reference systems yet;

wenzelm [Fri, 21 Oct 2016 17:24:57 +0200] rev 64336

merged

isabelle