diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-24 12:21:06 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-29 23:49:20 +0100 |
commit | f158ae23977cfb40a4a2f7a0db123940f59768f8 (patch) | |
tree | 250251cc926db14ba8f0b2379f30cbfda96e8dbe /doc/ProofGeneral.texi | |
parent | 6be1cced12f8e9de9724a73b8b0fb29440cad3dc (diff) |
8.4 compatibility for quick support
8.4 compatibility is done by ignoring all quick settings for
`coq-compile-quick' via a :set function. This does only work if
this variable is only changed via the customization system and
not directly via setq.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions