Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el
blob: 6ed74ee44facc4162047c83ecf7e174f147ff198 (plain) 
1
2
3
4

;;; Proof General site-lisp configuration

(add-to-list 'load-path "@SITELISP@/generic/proof-site.el")