I used this about 10 years ago to write maths-heavy papers. It was really fun. My favourite feature was you could tab through alternative mathematical symbols: type an equals sign, then <tab> until it became \equiv or approximately equal or whatever.

The project seemed to stall and I moved on to LyX. Nice to see it is back in business.