caskroom/homebrew-cask — pull request #6353 by ndr-qef (2014-09-27 09:06:10+00:00)
Title: Add Twelf, version 1.7.1

Note that Twelf is not actually packaged an an .app, but the developers suggest to treat it like one, i.e. the user is instructed to move `Twelf` to `/Applications/`.