1.1 --- a/CONTRIBUTORS Sat Nov 24 14:50:19 2012 +0100
1.2 +++ b/CONTRIBUTORS Sat Nov 24 15:49:43 2012 +0100
1.3 @@ -10,11 +10,15 @@
1.4 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
1.5
1.6 * November 2012: Fabian Immler, TUM
1.7 - Proof of the Daniell-Kolmogorov theorem: the existence of the limit of
1.8 - projective families.
1.9 + "Symbols" dockable for Isabelle/jEdit.
1.10 +
1.11 +* November 2012: Fabian Immler, TUM
1.12 + Proof of the Daniell-Kolmogorov theorem: the existence of the limit
1.13 + of projective families.
1.14
1.15 * October 2012: Andreas Lochbihler, KIT
1.16 - Efficient construction of red black trees from sorted associative lists.
1.17 + Efficient construction of red-black trees from sorted associative
1.18 + lists.
1.19
1.20 * September 2012: Florian Haftmann, TUM
1.21 Lattice instances for type option.