# HG changeset patch # User wenzelm # Date 1353768583 -3600 # Node ID 5a16f42a9b44a8d0fd02af4bf9513e647e38ba65 # Parent 2b3e24e1c9e7f9d30a44bdb7cc0891707aca69ec more NEWS/CONTRIBUTORS; 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. diff -r 2b3e24e1c9e7 -r 5a16f42a9b44 NEWS --- a/NEWS Sat Nov 24 14:50:19 2012 +0100 +++ b/NEWS Sat Nov 24 15:49:43 2012 +0100 @@ -77,6 +77,9 @@ options, including tuning parameters for editor reactivity and color schemes. +* Dockable window "Symbols" provides some editing support for Isabelle +symbols. + * Improved editing support for control styles: subscript, superscript, bold, reset of style -- operating on single symbols or text selections. Cf. keyboard short-cuts C+e DOWN/UP/RIGHT/LEFT.