You may have to reboot for this change to take effect.</P></LI>
 
                        <LI><P><I>2010-05-22</I>: Support for ISE 12 is now available in the driver.</P></LI>
+
+                       <LI><P><I>2011-05-08</I>: Support for ISE 12 is now available in the driver. A rewritten version of <i>setup_pcusb</i>
+                       which works on modern distributions has been added.</P></LI>
                </UL>
                </P>
                <H2>Supported Cables</H2>
                <H2>Supported Software</H2>
                The following software is reported to work with this driver:
                <ul>
+                       <li><a href="http://www.xilinx.com/tools/designtools.htm">ISE 13</a> (all editions)</li>
                        <li><a href="http://www.xilinx.com/tools/designtools.htm">ISE 12</a> (all editions)</li>
                        <li><a href="http://www.xilinx.com/tools/designtools.htm">ISE 11</a> (all editions)</li>
                        <li><a href="http://www.xilinx.com/ise/logic_design_prod/webpack.htm">ISE Webpack 10.1</a></li>