| changeset 58540 | 872f330a0f8a |
| parent 58526 | f05ccce3eca2 |
| child 58541 | 48e23e342415 |
--- 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 ***