diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-02-24 14:40:20 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-02-24 14:40:20 +0000 |
commit | 17185897996db7c001b9c5c1e0cbef8860388e07 (patch) | |
tree | d1dd2bde37336a748519b4c1362f7125a6f47749 /coq/coq-compile-common.el | |
parent | c85d28df72efb16d0652c85af3ad2ea0138d773a (diff) |
Making freeze buffer hace coq-response-more.
So that shortcuts work from this buffer.
+ colorizing.
Diffstat (limited to 'coq/coq-compile-common.el')
0 files changed, 0 insertions, 0 deletions