This is a placeholder release to hold the final source distribution tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as originally hosted on twelf.org.
This is a placeholder release to hold the final source distribution tarball, linux distribution tarball, and osx dmg for Twelf 1.7.1 as originally hosted on twelf.org.