--- a/NEWS Fri Oct 03 11:16:28 2014 +0200
+++ b/NEWS Fri Oct 03 14:46:26 2014 +0200
@@ -17,7 +17,7 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
-* Support for BibTeX files: context menu.
+* Support for BibTeX files: SideKick parser, context menu.
*** Pure ***