isabelle: Changelog

wenzelm [Wed, 19 Aug 2015 22:09:33 +0200] rev 60980

merged

wenzelm [Wed, 19 Aug 2015 21:51:30 +0200] rev 60979

clarified x86-windows setup;

wenzelm [Wed, 19 Aug 2015 20:41:23 +0200] rev 60978

proper check for Windows executables;

wenzelm [Wed, 19 Aug 2015 19:54:02 +0200] rev 60977

Cygwin bash on Windows;

wenzelm [Wed, 19 Aug 2015 19:53:45 +0200] rev 60976

tuned;

wenzelm [Wed, 19 Aug 2015 16:21:10 +0200] rev 60975

avoid ambiguities on native Windows, such as / vs. /cygdrive/c/cygwin;

paulson <lp15@cam.ac.uk> [Wed, 19 Aug 2015 19:18:19 +0100] rev 60974

New material and fixes related to the forthcoming Stone-Weierstrass development

wenzelm [Wed, 19 Aug 2015 15:40:59 +0200] rev 60973

disabled auto resolve, until practical consequences are more clear;

wenzelm [Tue, 18 Aug 2015 17:06:34 +0200] rev 60972

example options;

wenzelm [Tue, 18 Aug 2015 16:49:32 +0200] rev 60971

proper platform_path;

isabelle