ryanakca-dotfiles/emacsen/proofgeneral, branch master
My configuration files
Tidy up emacsen submodules
2015-09-16T15:21:55+00:00
Ryan Kavanagh
rak@debian.org
2015-09-16T15:21:55+00:00
515beab3a084dc191ac2c7407ba7f0f8aeffafad
New proof general version
2013-07-25T12:54:36+00:00
Ryan Kavanagh
rak@debian.org
2013-07-25T12:54:36+00:00
40210401b135c80dd15c0a180491fe175a7d7fb9
Added proofgeneral
2013-02-19T19:37:50+00:00
Ryan Kavanagh
rak@debian.org
2013-02-19T19:37:50+00:00
8064284fe3e2a276d9310d04d0c593ed6ced527b