aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-22 10:46:08 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-22 10:46:08 -0500
commita4beaf014024ae19e0dfb06fb93bda4ed992b86f (patch)
tree128927639fe33e5304cc4eafe894800d37ff2110 /emacsen/proofgeneral
parentForgot to add popup to load-path (diff)
Enable easy-pg, bundled by default with emacs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions