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
http://proofgeneral.inf.ed.ac.uk/trac/ticket/402

 - D.

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

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

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

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel


_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

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

Reply via email to