A graphical front end to Xanim.