proofgeneral-git.install


1
2
3
4
5
6
7
8
9
10
11
12

post_install() {
    cat <<EOF
==> Put this in your $HOME/.emacs file to enable ProofGeneral mode
==> in emacs.
    (require 'proof-site "/usr/share/emacs/site-lisp/proofgeneral/generic/proof-site")
EOF
}


post_upgrade() {
	post_install $1
}