diff -r f008ceb3b046 -r f05ccce3eca2 NEWS --- 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 ***