14 months ago 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;
src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML

14 months ago wenzelm [Sun, 03 Jun 2018 20:37:16 +0200] rev 68365
clarified signature: prefer Document.Snapshot;
src/Pure/PIDE/document.scala src/Pure/Thy/thy_resources.scala src/Pure/Tools/dump.scala src/Pure/Tools/server_commands.scala

14 months ago nipkow [Sun, 03 Jun 2018 19:06:56 +0200] rev 68364
list syntax details
NEWS src/Doc/Main/Main_Doc.thy src/Doc/Main/document/root.tex

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

14 months ago nipkow [Sun, 03 Jun 2018 18:23:29 +0200] rev 68362
allow tuple patterns in list comprehensions
src/HOL/List.thy

14 months ago paulson <lp15@cam.ac.uk> [Sun, 03 Jun 2018 15:22:30 +0100] rev 68361
infinite product material
src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Infinite_Products.thy src/HOL/Groups_Big.thy src/HOL/Set_Interval.thy src/HOL/Topological_Spaces.thy

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

14 months ago paulson <lp15@cam.ac.uk> [Sat, 02 Jun 2018 22:57:18 +0100] rev 68359
tidied more Cauchy proofs
src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Conformal_Mappings.thy

14 months ago wenzelm [Sat, 02 Jun 2018 22:40:03 +0200] rev 68358
tuned proofs;
src/HOL/HOLCF/Map_Functions.thy

14 months ago wenzelm [Sat, 02 Jun 2018 22:39:45 +0200] rev 68357
more symbols;
src/HOL/HOLCF/Domain.thy