# HG changeset patch
# User wenzelm
# Date 1404216305 -7200
# Node ID 3b10acac1d5ef45a9f1f0e15e6e759ad2ea1ce28
# Parent  a26c39b95ceeebf10a65a09e7ce3f7fa2a38f985
more release notes;

diff -r a26c39b95cee -r 3b10acac1d5e etc/settings
--- a/etc/settings	Mon Jun 30 15:23:00 2014 +0200
+++ b/etc/settings	Tue Jul 01 14:05:05 2014 +0200
@@ -94,7 +94,7 @@
 # Where to look for docs (multiple dirs separated by ':').
 ISABELLE_DOCS="$ISABELLE_HOME/doc"
 
-ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:README_REPOSITORY"
+ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY"
 ISABELLE_DOCS_EXAMPLES="src/HOL/ex/Seq.thy:src/HOL/ex/ML.thy:src/HOL/Unix/Unix.thy:src/HOL/Isar_Examples/Drinker.thy:src/Tools/SML/Examples.thy"
 
 # "open" within desktop environment (potentially asynchronous)