#!/bin/sh
exec /usr/bin/emacs 		-eval '(load "/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el")' 		-f proofgeneral 		-f proof-splash-display-screen "$@"
