2 hours ago bulwahn [Sat, 20 Jan 2018 15:50:15 +0100] rev 67478 default tip
add lemma on lists from Falling_Factorial_Sum entry
src/HOL/List.thy

21 hours ago wenzelm [Fri, 19 Jan 2018 20:11:14 +0100] rev 67477
merged

21 hours ago wenzelm [Fri, 19 Jan 2018 20:09:04 +0100] rev 67476
avoid evaluation of embedded comment;
src/Doc/Isar_Ref/Outer_Syntax.thy

22 hours ago wenzelm [Fri, 19 Jan 2018 19:41:28 +0100] rev 67475
disable "display" style in marginal (line) comment;
src/Pure/Thy/thy_output.ML

22 hours ago wenzelm [Fri, 19 Jan 2018 19:09:25 +0100] rev 67474
more uniform output of source / text / theory_text, with handling of formal comments etc.;
src/Pure/Thy/document_antiquotation.ML src/Pure/Thy/document_antiquotations.ML src/Pure/Thy/thy_output.ML

26 hours ago wenzelm [Fri, 19 Jan 2018 15:20:13 +0100] rev 67473
sort completion result;
src/Pure/PIDE/resources.ML

26 hours ago wenzelm [Fri, 19 Jan 2018 15:14:43 +0100] rev 67472
recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
src/Pure/Thy/document_antiquotation.ML

26 hours ago wenzelm [Fri, 19 Jan 2018 14:55:46 +0100] rev 67471
formal treatment of documentation names;
src/Pure/ML/ml_process.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/PIDE/resources.ML src/Pure/Thy/document_antiquotations.ML src/Pure/Thy/sessions.scala src/Pure/Tools/build.ML src/Pure/Tools/build.scala src/Pure/Tools/doc.scala

26 hours ago wenzelm [Fri, 19 Jan 2018 14:55:00 +0100] rev 67470
support for completion;
etc/symbols

30 hours ago wenzelm [Fri, 19 Jan 2018 11:36:29 +0100] rev 67469
adapted to a5ca98950a91;
src/Doc/more_antiquote.ML