isabelle: Changelog

haftmann [Sat, 12 Dec 2015 18:58:06 +0100] rev 61833

modernized

haftmann [Sat, 12 Dec 2015 16:32:00 +0100] rev 61832

modernized

haftmann [Fri, 11 Dec 2015 11:31:57 +0100] rev 61831

modernized

wenzelm [Thu, 10 Dec 2015 21:39:33 +0100] rev 61830

isabelle update_cartouches -c -t;

wenzelm [Thu, 10 Dec 2015 21:31:24 +0100] rev 61829

proper checksum for cygwin-20151210.tar.gz (some snapshot after 1.7.35-1);

wenzelm [Thu, 10 Dec 2015 20:49:38 +0100] rev 61828

avoid application spurious startup error;

wenzelm [Thu, 10 Dec 2015 16:54:59 +0100] rev 61827

current Cygwin snapshot in preparation of release;

wenzelm [Thu, 10 Dec 2015 16:31:00 +0100] rev 61826

hardwired LANG, to avoid sporadic surprises with local environments;

wenzelm [Thu, 10 Dec 2015 15:53:28 +0100] rev 61825

make SML/NJ happy;

paulson <lp15@cam.ac.uk> [Thu, 10 Dec 2015 13:38:40 +0000] rev 61824

not_leE -> not_le_imp_less and other tidying

isabelle