Index: state.html
===================================================================
--- state.html	(revision 5624)
+++ state.html	(revision 5625)
@@ -13,7 +13,10 @@
 <table border=0 cellspacing=2 cellpadding=10  bgcolor="#eeeeee" width="100%">
 <tr>
 <th align=center bgcolor="#339966"> <a href="index.html"> About </a>
+<th align=center bgcolor="#339966"> <a href="http://repo.hu/cgi-bin/pool.cgi?project=sch-rnd-aux"> Knowledge pool </a> | <a href="tutorial"> Tutorial </a>
+<th align=center bgcolor="#339966"> <a href="state.html"> Current state </a>
 <th align=center bgcolor="#339966"> <a href="plans/"> Plans </a>
+<th align=center bgcolor="#339966"> <a href="use_cases/"> Use cases </a>
 <th align=center bgcolor="#339966"> <a href="design/"> Design </a>
 </table>
 <!--AUTO navbar end-->