diff --git a/images/ProofGeneral-splash@2x.png b/images/ProofGeneral-splash@2x.png
new file mode 100644
index 000000000..03c5a1829
Binary files /dev/null and b/images/ProofGeneral-splash@2x.png differ