]> git.rkrishnan.org Git - .emacs.d.git/commit
projects / .emacs.d.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6296833) | patch
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
treeacc594a1c4c92f0001387f165e0c1db67afdfae0tree | snapshot
parent62968335a8d96ff9336740659cba3c362a9d3c6acommit | diff
disable proof general
init.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.