Bug#314207: ITP: xtla -- Emacs front-end to tla

[Milan Zamazal <pdm@debian.org>]

Package: wnpp
Severity: wishlist

* Package name    : xtla
  Version         : 1.0
  Upstream Author : 
* URL or Web page : http://wiki.gnuarch.org/xtla
* License         : GPL
  Description     : Emacs front-end to tla (GNU Arch client)

I intend to use mostly upstream packaging by Matthieu Moy, with only
small changes.