This page has been moved, the new location is
Digilent Plugin for Xilinx Tools
.