To try and reproduce the problem(s) Michael and Simon have reported lately, I downloaded the RC1 release from SF, and noticed that keel-build/lib/xdoclet-keel-1.2b4.zip was missing from the ZIP. That was a packaging error on my part. I have rebundled and put out a RC1b release out on SF (functionally identical to RC1).
Shash
http://keelframework.org/documentation Keelgroup mailing list [EMAIL PROTECTED] http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com
