#!/bin/sh

emacs23 -f proof-splash-display-screen $*
