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: 4839b17f1f5809243935c3f9136a90fb88590d6e (plain) 
1
2

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