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
Sun, 19 Oct 2014 12:47:34 +0200
changeset 58708 6001375db251
parent 58707 40abd7818bca
child 58709 efdc6c533bd3
NEWS;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Oct 19 12:07:03 2014 +0200
+++ b/NEWS	Sun Oct 19 12:47:34 2014 +0200
@@ -18,6 +18,7 @@
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Improved folding mode "isabelle" based on Isar syntax.
+Alternatively, the "sidekick" mode may be used for document structure.
 
 * Support for BibTeX files: context menu, context-sensitive token
 marker, SideKick parser.
isabelle