# HG changeset patch
# User wenzelm
# Date 1428703001 -7200
# Node ID fd9191f0d32338a721d9bbbbfde1ba017abeee18
# Parent  e1d8c5099bef60006e186f2759d92b45aed30c8e
tuned;

diff -r e1d8c5099bef -r fd9191f0d323 NEWS
--- a/NEWS	Fri Apr 10 22:53:30 2015 +0200
+++ b/NEWS	Fri Apr 10 23:56:41 2015 +0200
@@ -1,6 +1,9 @@
 Isabelle NEWS -- history of user-relevant changes
 =================================================
 
+(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
+
+
 New in this Isabelle version
 ----------------------------