diff -r 2b3e24e1c9e7 -r 5a16f42a9b44 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Nov 24 14:50:19 2012 +0100
+++ b/CONTRIBUTORS	Sat Nov 24 15:49:43 2012 +0100
@@ -10,11 +10,15 @@
   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
 
 * November 2012: Fabian Immler, TUM
-  Proof of the Daniell-Kolmogorov theorem: the existence of the limit of
-  projective families.
+  "Symbols" dockable for Isabelle/jEdit.
+
+* November 2012: Fabian Immler, TUM
+  Proof of the Daniell-Kolmogorov theorem: the existence of the limit
+  of projective families.
 
 * October 2012: Andreas Lochbihler, KIT
-  Efficient construction of red black trees from sorted associative lists.
+  Efficient construction of red-black trees from sorted associative
+  lists.
 
 * September 2012: Florian Haftmann, TUM
   Lattice instances for type option.