It is not the case that proTeXt as a whole is covered by the GNU GPL. It is a composite collection, and its pieces have numerous different licenses. They are all supposed to be free (as in the Free Software Foundation), but neither I nor anyone else can legally guarantee that. karl