# HG changeset patch
# User wenzelm
# Date 1412453722 -7200
# Node ID 872f330a0f8a0b8bcf5e867ceac68c066a2556f3
# Parent  b31af96b7f5b3a5ec53ab2bc64cf6c35d98c3e60
NEWS;

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 ***