diff --git a/README.md b/README.md index b67f572249d646bb6cc8c4c00fcf5fbb1c4a5718..8fb081fb0f3d00215ee836b93fca87a86a4d0fcb 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ [](https://travis-ci.org/hhu-stups/prob-rodinplugin) The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html). -(C) 2000-2019 Michael Leuschel and many others. +(C) 2000-2020 Michael Leuschel and many others. For updates please visit the ProB website: http://www.stups.uni-duesseldorf.de/ProB/