Crafty 1.3.0

pts/crafty-1.3.0 - 29 January 2012 - Update against Crafty 23.4 upstream. Plus makefile changes.

downloads.xml

install.sh

install_windows.sh

results-definition.xml

test-definition.xml