diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-18 14:58:16 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-18 14:58:16 +0100 |
commit | c4caac41845362173499397e589e9619f5e18d77 (patch) | |
tree | 988c8e452667a9d15ee93e8557b860c80a217cd8 /coq/coq-par-test.el | |
parent | 42312958454c0fcc700586781084510f7da0dbcd (diff) |
reconcile menu for auto compilation
Making coq-compile-quick configurable via the Settings menu would
require a lot of work, because the
defpacustom/proof-menu-define-settings-menu engine does only work
for simple types. On second sight, I believe the Settings menu
and the whole engine behind it are more intended for options that
configure the proof assistant behind Proof General. Taking this
together, I believe, it makes more sense to have a separate menu
entry for auto compilation in the Coq menu. This submenu contains
all the options for background compilation. The compilation
entries from the settings menu should be deleted, probably after
the next release.
Diffstat (limited to 'coq/coq-par-test.el')
0 files changed, 0 insertions, 0 deletions