[ciao-users] CIAO 1.3.7 and DAnCE 1.3.7 available for download

[Johnny Willemsen]

Hi,

We have just released CIAO 1.3.7 and DAnCE 1.3.7. These micro releases
contain minor enhancements and fixes. See
http://download.dre.vanderbilt.edu/ for the download page or
https://swsupport.remedy.nl/news/50-ciao-1-3-7-and-dance-1-3-7-released.

Best regards,

Johnny Willemsen
Remedy IT
http://www.remedy.nl