Template:Undocumented
From The Twelf Project
| 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}}).
