X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FsearchEngine%2Fhtml%2Fmoogle.html;h=3c76f8b852ccf66be7acd05ed9a3fe28aaf403b5;hb=301e61627dc24ebc027d5f2dd990f738a1ac65b7;hp=862e425b6f00d4ec3d1c0ebfbd171058f793cf1e;hpb=eb7dc1bfe4752bd7a73bc3b7bae26e0f3b21a954;p=helm.git

diff --git a/helm/searchEngine/html/moogle.html b/helm/searchEngine/html/moogle.html
index 862e425b6..3c76f8b85 100644
--- a/helm/searchEngine/html/moogle.html
+++ b/helm/searchEngine/html/moogle.html
@@ -71,6 +71,11 @@
 <font size="-1">
 @RESULTS@
 </font>
+<font size="-1">
+  <div class='bottombar'>
+    Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+  </div>
+</font>
 </body>
 </html>