--- 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.