Remove-override-hints
Delete from the list of override-hints
See override-hints for a discussion of override-hints. Here
we describe how to delete from the list of override-hints. Note that the
effects of remove-override-hints events are local to the
books or encapsulate events in which they reside; see remove-override-hints! to avoid that restriction. Also see add-override-hints and see set-override-hints.
General Form:
(remove-override-hints form)
where form should evaluate to a list of computed hint forms. The
effect of this event is to set the list of override-hints to the result
of deleting each element of the evaluation result from the override-hints, if that element indeed belongs to the override-hints; no
check is made that these elements are actually elements of the existing
override-hints.
