--- a/web/index.shtml
+++ b/web/index.shtml
@@ -35,11 +35,21 @@
 <a href="http://isabelle.in.tum.de/">Isabelle</a>. It is organized in the way 
 of a scientific journal and has an ISSN: 2150-914x. Submissions are refereed. The preferred citation style 
 is available <a href="citing.shtml">[here]</a>.
-A <a href="devel.shtml">development version</a> of the archive is available as well.</td></tr>
+<table width="80%" class="entries">
+  <tbody>
+    <tr><td><strong>This is the development version of the AFP.</strong> It is
+    provided as a preview of the next upcoming release and might
+    contain entries that are currently broken and that might change
+    without notice over time. Use at your own risk. Please refer to
+    the <a href="index.shtml">release version</a> only in citations.
+    </td></tr>
 <p> </p>
@@ -70,6 +80,15 @@
 <a href="entries/LatticeProperties.shtml">Lattice Properties</a>
 <a href="http://users.abo.fi/vpreotea/">Viorel Preoteasa</a>
+<tr><td class="entry">
+<a href="entries/Myhill-Nerode.shtml">The Myhill-Nerode Theorem Based on Regular Expressions</a>
+Chunhan Wu,
+Xingyuan Zhang and 
+<a href="http://www.in.tum.de/~urbanc">Christian Urban</a>
 <tr><td class="entry">