From The Twelf Project
Jump to: navigation, search
This article or section describes an undocumented feature of Twelf.
The information may be incomplete and subject to change.

This template also lists the page in the undocumented features category. Use with an optional argument to change the text "article or section" (e.g. {{undocumented|article}}).