j
k
j a
j l
Does anyone know how soon the 1.8 release of CIAO will be made available? I am reluctant to install 1.7#162 if the new version will be along shortly.
Chris
Show replies by date
ciao-users@cliplab.org
Add to favorites Remove from favorites