2017-04-01 wenzelm [Sat, 01 Apr 2017 19:16:19 +0200] rev 65343
tuned proofs;
src/HOL/Library/Boolean_Algebra.thy

2017-04-01 wenzelm [Sat, 01 Apr 2017 18:50:26 +0200] rev 65342
misc tuning and modernization;
src/HOL/Library/Permutations.thy

2017-04-01 wenzelm [Sat, 01 Apr 2017 15:35:32 +0200] rev 65341
tuned signature;
src/Pure/PIDE/command.scala src/Pure/Thy/thy_syntax.scala

2017-04-01 nipkow [Sat, 01 Apr 2017 08:05:40 +0200] rev 65340
tuned
src/HOL/Library/Tree.thy

2017-03-31 nipkow [Fri, 31 Mar 2017 17:21:36 +0200] rev 65339
more lemmas
src/HOL/Library/Tree.thy

2017-03-23 wenzelm [Thu, 23 Mar 2017 17:20:47 +0100] rev 65338
tuned proof;
src/CTT/CTT.thy

2017-03-20 wenzelm [Mon, 20 Mar 2017 21:53:37 +0100] rev 65337
merged

2017-03-20 wenzelm [Mon, 20 Mar 2017 21:44:41 +0100] rev 65336
misc tuning and modernization;
src/HOL/Word/Tools/smt_word.ML src/HOL/Word/Word.thy

2017-03-20 wenzelm [Mon, 20 Mar 2017 20:43:26 +0100] rev 65335
support to encode/decode command state;
support to merge full contents of command state;
src/Pure/General/symbol.scala src/Pure/Isar/token.scala src/Pure/PIDE/command.scala src/Pure/PIDE/command_span.scala src/Pure/PIDE/markup.scala

2017-03-20 wenzelm [Mon, 20 Mar 2017 17:24:40 +0100] rev 65334
tuned;
src/Pure/PIDE/xml.scala