Attached is the shar file for xtla, an Emacs front-end to tla How-To-Repeat: N/A
State Changed From-To: open->closed New port added, thank you!