more release notes;
authorwenzelm
Tue Jul 01 14:05:05 2014 +0200 (2014-07-01 ago)
changeset 574513b10acac1d5e
parent 57444 a26c39b95cee
child 57452 ecad2a53755a
more release notes;
etc/settings
     1.1 --- a/etc/settings	Mon Jun 30 15:23:00 2014 +0200
     1.2 +++ b/etc/settings	Tue Jul 01 14:05:05 2014 +0200
     1.3 @@ -94,7 +94,7 @@
     1.4  # Where to look for docs (multiple dirs separated by ':').
     1.5  ISABELLE_DOCS="$ISABELLE_HOME/doc"
     1.6  
     1.7 -ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:README_REPOSITORY"
     1.8 +ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY"
     1.9  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"
    1.10  
    1.11  # "open" within desktop environment (potentially asynchronous)