depends "tla"   &&
depends "EMACS"

.