Talk:User's Guide
From The Twelf Project
The official Twelf User Guide is out-of-date and inaccurate it some places. In addition, I've occasionally run into undocumented error messages. We should keep an eye out for potential articles that fill in gaps or correct errors in the User Guide. Ideally, the User Guide would be wikified, but who actually has time to do that? --DanielKLee 18:46, 17 September 2006 (MST)
