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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
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.
