Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS;
authorwenzelm
Sat, 04 Oct 2014 22:15:22 +0200
changeset 58540 872f330a0f8a
parent 58539 b31af96b7f5b
child 58541 48e23e342415
NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- 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 ***
isabelle