> Ok, I should have read the *Help* more carefully, it states
> (cl-pushnew X PLACE): insert X at the head of the list if not already
> there.
> and I understood "there" as meaning "head of the list", instead of just
> "list". Of course the second sentence clarifies the point, but
> I overlooked it.
> Maybe it could be rephrased as:
> (cl-pushnew X PLACE): insert X at the head of the list PLACE unless X is
> already an element of PLACE.
> If you agree with the rephrasal, I can implement the change.
Fine by me,
Stefan "not the maintainer any more"
_______________________________________________
auctex mailing list
auctex@gnu.org
https://lists.gnu.org/mailman/listinfo/auctex
