We’ve just moved the Tarski website to a new server; thus far, everything seems to be working. If you do run into any problems, please let us know.
You are currently browsing the monthly archive for April 2008.
Tarski’s changelog is now included in our svn repository, and having automated the process I’ve been updating the public one far more frequently. This means you can now see all the major changes without having to read the commit logs.