isabelle: Changelog

wenzelm [Mon, 04 Jun 2018 21:57:38 +0200] rev 68374

updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018; record cygwin mirror explicitly;

paulson <lp15@cam.ac.uk> [Mon, 04 Jun 2018 21:03:10 +0100] rev 68373

NEWS: infinite products

paulson [Mon, 04 Jun 2018 21:00:21 +0100] rev 68372

merged

paulson <lp15@cam.ac.uk> [Mon, 04 Jun 2018 21:00:12 +0100] rev 68371

more tweaks of Cauchy

wenzelm [Mon, 04 Jun 2018 14:21:16 +0200] rev 68370

clarified signature; simplified options;

wenzelm [Sun, 03 Jun 2018 23:30:53 +0200] rev 68369

tuned proofs;

wenzelm [Sun, 03 Jun 2018 22:18:27 +0200] rev 68368

NEWS;

wenzelm [Sun, 03 Jun 2018 22:16:44 +0200] rev 68367

proper function invocation with all arguments;

wenzelm [Sun, 03 Jun 2018 22:02:20 +0200] rev 68366

fork parallel prints early in execution: avoid degradation of priority due to main eval task;

wenzelm [Sun, 03 Jun 2018 20:37:16 +0200] rev 68365

clarified signature: prefer Document.Snapshot;

isabelle