There is now span-add-delete-action which adds a function to the
'span-delete-actions property. But it is only used for the action
that was previously stored in 'span-delete-action and for
coq-unlock-all-ancestors-of-span. I neither touched the remove
action nor that FIXME.


Looks good, thanks.

 - D.
_______________________________________________
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