#!/bin/sh

if emacs --version | grep -q 'Emacs 2[34]' ; then 
    emacs -f proof-splash-display-screen $*
else 
    if emacs24 --version | grep -q 'Emacs 2[34]' ; then 
	emacs24 -f proof-splash-display-screen $*
    else 
	emacs23 -f proof-splash-display-screen $*
    fi
fi
