diff options
| author | Pierre Courtieu | 2011-12-05 12:52:37 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-12-05 12:52:37 +0000 |
| commit | 4803894e4b9961e95a3298737466e4911794ffd4 (patch) | |
| tree | b5ad25230ca607dc60ef914a281fb774b1dd3740 /generic/proof-shell.el | |
| parent | 17e3598c76cb426e96b973fb49c53a4227877383 (diff) | |
Applied a patch from Tom Prince which makes
coq-update-minor-mode-alist behavior more acceptable.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions