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.
contrib/README;
authorwenzelm
Wed, 09 Jun 2010 15:09:00 +0200
changeset 37369 e0460bbf6b39
parent 37368 1c816f2abb0e
child 37370 582780d89e64
contrib/README;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Wed Jun 09 14:08:08 2010 +0200
+++ b/Admin/makedist	Wed Jun 09 15:09:00 2010 +0200
@@ -145,6 +145,11 @@
 rm -rf doc-src
 
 mkdir -p contrib
+cat >contrib/README <<EOF
+This directory contains add-on components that contribute to the main
+Isabelle distribution.  Separate licensing conditions apply, see each
+directory individually.
+EOF
 
 cp doc/isabelle*.eps lib/logo
isabelle