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
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.