Remerciements

Microsoft, Windows, et le logo Windows sont des marques déposées de Microsoft Corporation aux États Unis et autres pays.

Apple, Mac, et Mac OS sont des marques déposées de Apple Inc., enregistrés aux États Unis et d’autres pays.

GitHub est une marque déposée de GitHub Inc.

Sauf précision autrement, toutes les icônes font soit partie de TEXworks, soit de la bibliothèque d’icônes Tango (http://tango.freedesktop.org/Tango_Icon_Library).