Perphaps it might be interesting, that there exists a gtk2 frontend to tla, called tlator.
Well, it might sound like a shameless plug, because that`s me who actually wrote it, but the perphaps the main incentive behind this mail is to widen arch acceptance among people, so who knows... ;-) The tlator arch repository is located at James Blackwell`s sourcecontrol crossroad-like place: http://sourcecontrol.net/~sgromoff/%{archives}/[EMAIL PROTECTED]/ regards, Samium Gromoff
