proofgeneral.install


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

post_install() {
    cat <<EOF
==> Put this in your $HOME/.emacs file to enable ProofGeneral mode
==> in emacs.

    (load "/usr/share/emacs/site-lisp/ProofGeneral/generic/proof-site")
EOF
}


post_upgrade() {
	post_install $1
}