50proofgeneral-gentoo.el « files « proofgeneral « app-emacs - portage - Portage tree snapshot

summary refs log tree commit diff

path: root/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el

blob: 4839b17f1f5809243935c3f9136a90fb88590d6e (plain)

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