more NEWS/CONTRIBUTORS;
authorwenzelm
Sat Nov 24 15:49:43 2012 +0100 (2012-11-24)
changeset 501845a16f42a9b44
parent 50183 2b3e24e1c9e7
child 50185 820673500454
more NEWS/CONTRIBUTORS;
CONTRIBUTORS
NEWS
     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.
     2.1 --- a/NEWS	Sat Nov 24 14:50:19 2012 +0100
     2.2 +++ b/NEWS	Sat Nov 24 15:49:43 2012 +0100
     2.3 @@ -77,6 +77,9 @@
     2.4  options, including tuning parameters for editor reactivity and color
     2.5  schemes.
     2.6  
     2.7 +* Dockable window "Symbols" provides some editing support for Isabelle
     2.8 +symbols.
     2.9 +
    2.10  * Improved editing support for control styles: subscript, superscript,
    2.11  bold, reset of style -- operating on single symbols or text
    2.12  selections.  Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.