disable proof general
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000 (11:20 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000 (11:20 +0530)
commit6b202fb4d4c4f1f59f8c99079c571cbc75984000
treeacc594a1c4c92f0001387f165e0c1db67afdfae0
parent62968335a8d96ff9336740659cba3c362a9d3c6a
disable proof general
init.el