]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/moogle_trailer.html.src
ocaml 3.09 transition
[helm.git] / helm / searchEngine / html / moogle_trailer.html.src
index 5f067c78a26457c14fd006eb5ed2745d19ad66c9..be349ba52c5c6d06ac597d54c958670eb7ae70d1 100644 (file)
@@ -4,6 +4,6 @@
   xmlns="http://www.w3.org/1999/xhtml"
 >
   <div class='bottombar'>
-    Page: @PREV_LINK@ <b>@PAGE@/@PAGES@</b> @NEXT_LINK@
+    @PAGES@: @PREV_LINK@ <b>@PAGELIST@</b> @NEXT_LINK@
   </div>
 </helm:content>