diff options
Diffstat (limited to 'WebContent/release-notes.html')
| -rw-r--r-- | WebContent/release-notes.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/WebContent/release-notes.html b/WebContent/release-notes.html index ed194e05c9..eef0b1de0c 100644 --- a/WebContent/release-notes.html +++ b/WebContent/release-notes.html @@ -90,6 +90,7 @@ <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> @@ -144,7 +145,8 @@ 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> |