English messages

Karl Berry karl at freefriends.org
Thu Mar 21 22:57:06 CET 2019

    * As "GUI" means graphical user interface, "GUI interface" might be a bit

It is completely redundant, but nevertheless common usage in English. If
it feels better in other languages to leave out "interface", by all
means do so. -k

More information about the tex-live mailing list