diff -r b31af96b7f5b -r 872f330a0f8a NEWS --- a/NEWS Sat Oct 04 22:11:08 2014 +0200 +++ b/NEWS Sat Oct 04 22:15:22 2014 +0200 @@ -17,7 +17,8 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** -* Support for BibTeX files: SideKick parser, context menu. +* Support for BibTeX files: context menu, context-sensitive token +marker, SideKick parser. *** Pure ***