Thanks for pointing this out. At one point it seemed useful to also have a separate group for things managed automatically by sending commands to the prover (i.e. proof-assistant-setting). I've simplified it now to instead use the proof assistant group directly since the defpacustom settings are not really internal either. Things declared with defpgcustom will be put into the internal group (e.g. Coq-config).

For follow up issues, please see

 - D.

On 14/02/11 14:22, Hendrik Tews wrote:

is it really intended to add defpacustom variables to two
customization groups, to proof-assistant-internals-cusgrp and to

Is there a reason why the group proof-assistant-setting is not


ProofGeneral-devel mailing list

ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to