Keel-core 5.0 versus 4.2

keel.jsmit-4WVpuZSLeeJWk0Htik3J/[email protected] Tue, 08 Nov 2005 16:18:33 +0200
Newsgroups gmane.comp.java.keel.devel
Message-ID <[email protected]>
I am probably just showing my ignorance, but could you please bear with me:

Many of the CVS services require keel-core 4.2, but this I can find nowhere. 
Where can one find it, or is it safe to use keel-core 5.0 and change the 
dependacies?

Regards
Jacques
http://keelframework.org/documentation.shtml
keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com