The Tock homepage is now here:
http://projects.cs.kent.ac.uk/projects/tock/
Tock (last edited 2008-11-20 13:17:07 by ats)