- 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
- October 26, 2012
To read about older updates, see the What's new? page.