flycheck mode, proof-general
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sat, 19 Dec 2015 17:29:30 +0000 (22:59 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sat, 20 Feb 2016 14:35:30 +0000 (20:05 +0530)
commit5584385718aee7ab69ac3b239b5efce53e5610ce
tree2fc32343e5eb3da9f4b3137b175de34f8a5d2117
parent0a295652e2530aabbabde4068915fbbb4426ab82
flycheck mode, proof-general
init.el