Hi, just incase you encounter any errors in accessing and using our new trac (version 0.12), please let me know. math -- Institut für Informatik Universität Leipzig Johannisgasse 26, 04103 Leipzig Phone: +493419732283