| changeset 58708 | 6001375db251 |
| parent 58704 | 92f935f34b28 |
| child 58716 | 23a380cc45f4 |
--- 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.