isabelle: Changelog

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;

nipkow [Sun, 03 Jun 2018 19:06:56 +0200] rev 68364

list syntax details

nipkow [Sun, 03 Jun 2018 18:23:38 +0200] rev 68363

merged

nipkow [Sun, 03 Jun 2018 18:23:29 +0200] rev 68362

allow tuple patterns in list comprehensions

paulson <lp15@cam.ac.uk> [Sun, 03 Jun 2018 15:22:30 +0100] rev 68361

infinite product material

paulson [Sat, 02 Jun 2018 22:57:44 +0100] rev 68360

merged

paulson <lp15@cam.ac.uk> [Sat, 02 Jun 2018 22:57:18 +0100] rev 68359

tidied more Cauchy proofs

wenzelm [Sat, 02 Jun 2018 22:40:03 +0200] rev 68358

tuned proofs;

isabelle