iTe Version 3_1 (June 24 2005)
the Interactive Tex Editor

Last modified by Wolfgang Kühn on Apr 4 2005