Change-Id: I25ee810c72ba32e8087f0da6ca3b72575505740d
<li>Native support for Internet Explorer 10</li>
<li>Many locking fixes</li>
+ <li>Java <tt>assert</tt> statements added to critical code sections. Start JVM with <tt>-ea</tt> to use.</li>
</ul>
<p>
of this release) to create a new project</li>
<li>If using Eclipse, use the Vaadin Plugin for Eclipse, which automatically
- downloads the Vaadin libraries</li>
+ downloads the Vaadin libraries. To use this prerelease version, the plugin should be
+ installed from the experimental update site (<tt>http://vaadin.com/eclipse/experimental</tt>).</li>
</ul>
<p>