There are two mailing lists that you may want to subscribe to. 

	* [[http://mail.cs.uu.nl/mailman/listinfo/psat-commits][psat-commits]] 
	  -- All SVN-, Jira- and Buildfarm-messages. To stay really up to date.

	* [[http://mail.cs.uu.nl/mailman/listinfo/psat-dev][psat-dev]] 
	  -- List for questions and discussions about features or bugs in PHP-SAT

All lists are subscriber post only. 

The mailing lists are going to be changed in the future. We will probably migrate to a new URL which is institute-independent. All users will be notified when this change happens.

You can stay up to date with this site by checking out the [[http://www.program-transformation.org/PHP/WebRss?skin=rss][RSS-feed]]