TeXmacs

Does not build on modern C++ compilers.