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