Announcements of MathSAT releases
   
§