El problema no es que tengas que poner en el link un nombre de script destino, ya que aunque es mejor definirlo, sino se pone y sólo se pone el paso de parámetros por URL, linkará al script actual pasando parámetros(o sea si pones href="?id=5" en teoria linkaría al script actual pasando la variable). Aunque bueno, no se tampoco si depende de la versión del navegador, con lo cual mejor ponlo. En el cambio que te sugiero lo incluí usando $PHP_SELF.
Lo que sucede es que hay un lio con las variables que recibe el paginador, es decir creas unos links a los que pasas la variable mod, y sin embargo al principio del script preguntas por la variable $pg, que por otra parte estaría mucho mejor preguntar por $_GET['pg'], aunque eso no afecta al problema que tenías.
En definitiva, puedes cambiar estas líneas:
Código PHP:
echo "<a href='?mod=prov".$url."'>« Anterior</a> ";
echo "<a href='?mod=prov".$i."'>".$i."</a> ";
echo "<a href='?mod=prov".$url."'>Siguiente »</a>";
por:
Código PHP:
echo "<a href='".$PHP_SELF."?pg".$url."'>« Anterior</a> ";
echo "<a href='".$PHP_SELF."?pg".$i."'>".$i."</a> ";
echo "<a href='".$PHP_SELF."?pg".$url."'>Siguiente »</a>";
Y al principio casí del script cambiar lo que te comentaba de $_GET, o sea cambiar:
Código PHP:
if (!isset($pg))
por:
Código PHP:
if (!isset($_GET['pg']))
Es decir la variable que pones en los links tiene que ser la misma por la que preguntas al principio del script.
Salu2 ;)