[tex-live] menu item for TeXworks

Karl Berry karl at freefriends.org
Thu Oct 8 19:19:27 CEST 2009


    Would you mind changing these to "TeXworks Editor", 

Fixed, thanks.

    think it would be better to use the single-word "TeXworks" name that's  

Definitely.


More information about the tex-live mailing list