P.S. correction to what I said: p-s-ro changes *are* dynamic in that there is a special function which changes the spans following changes in that setting. That's the function that has the same name as the variable, proof-strict-read-only, it's called by the proof-set-value hook in defcustom for the variable. A bit clunky._______________________________________________ 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.
