isabelle: Changelog

wenzelm [Fri, 11 Jan 2013 22:38:12 +0100] rev 50839

prefer MS-DOS-style temp;

wenzelm [Fri, 11 Jan 2013 22:23:03 +0100] rev 50838

more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;

wenzelm [Fri, 11 Jan 2013 22:16:48 +0100] rev 50837

merged

wenzelm [Fri, 11 Jan 2013 22:01:49 +0100] rev 50836

more NEWS;

wenzelm [Fri, 11 Jan 2013 21:51:39 +0100] rev 50835

proper path names;

wenzelm [Fri, 11 Jan 2013 14:54:52 +0100] rev 50834

refer to cygwin mirror with static copy of setup.ini; tuned;

wenzelm [Fri, 11 Jan 2013 14:33:44 +0100] rev 50833

discontinued HOL side-entry sessions -- may be configured in $ISABELLE_HOME_USER/ROOT instead;

wenzelm [Fri, 11 Jan 2013 13:24:22 +0100] rev 50832

obsolete;

wenzelm [Fri, 11 Jan 2013 13:23:51 +0100] rev 50831

more standard contrib/cygwin location (again);

blanchet [Fri, 11 Jan 2013 16:30:56 +0100] rev 50830

updated messages

isabelle