January 17, 2015 After a year of issues stemming from the age of our old server, twelf.org has been moved to a new machine. Some features, like Twelf Live and syntax highlighting, still only exist on the old site. Let Rob know about any other deficiencies in the new site. June 10, 2013 Taus Brock-Nannestad, Chris Martens, and Carsten Schürmann to hold a Twelf Tutorial at CADE. October 26, 2012 John Boyland's Twelf library is available on Github. To read about older updates, see the What's new? page.