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
    redundant.

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