The current version of the Twelf User's Guide is for Twelf version 1.4. 
It is available in
The documentation has not yet been updated for the 1.5 release of Twelf. The category for undocumented features collects articles on the wiki describing these features.
This page is incomplete. We should expand it.