Each GIF was created individually using Expressionist. Needless to say, this was very tedious and totally impractical for any large quantity of material, and was the main reason the project was discontinued. Other GIF-based methods of creating math text exist, as do more practical methods (e.g. TtH), and MathML-cognizant browsers are soon to be a reality, so the problems of producing mathematical text should soon become a thing fo the past - we may hope!