Synopsis: [new port] devel/xtla: An Emacs front-end to tla State-Changed-From-To: open->closed State-Changed-By: pav State-Changed-When: Fri Jul 2 09:33:21 GMT 2004 State-Changed-Why: New port added, thank you! http://www.freebsd.org/cgi/query-pr.cgi?pr=68416