Graphical front end to Xanim
