diff --git a/README.md b/README.md index 4314f2bf3c2de35aca6411364258e83987d71dad..75a85cb9888cecb187c33875af524f686463aab7 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +<img src="logo.png"> + # The ProB Model Checker and Animator The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html). diff --git a/logo.png b/logo.png new file mode 100644 index 0000000000000000000000000000000000000000..49cfbdc03725b2e690a229c19c598c97aa813c7a Binary files /dev/null and b/logo.png differ