On Tue, 12 Jun 2018, Bob Tennent wrote:
Please do not send html mail to the list.
Hum, but you're doing so! ;-) -- Jean-Pierre ------------------------------- [email protected] mailing list If you want to unsubscribe or look at the archives, go to http://tug.org/mailman/listinfo/tex-music
