sentences:  On April 25, 1994 TinTin++ 1.5 was announced, which was a joint effort by Bill Reiss, David A. Wagner, Rob Ellsworth, and Jeremy C. Jack.After the 1.5 release in 1994 active development came to a halt.TinTin++ 1.5 had gained significant popularity however, and being public domain this resulted in many derivative works like zMUD, yTin, Lyntin, Pueblo, WinTin95, and GGMud.