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.

Reply via email to