Bien no se si lo resolviste o no...
pero el dilema es que cuando da a F5 el iframe se recarga entero desde el principio, eso es correcto por que en la pagina que tienes le dices eso que cuando se cargue te muestre la pagina -> intro.php <- y tantas veces se recargue la pagina siempre te mostrara esa pagina..
la solución seria guardar en una cokie la pagina actual que esta el iframe y por javascript o php hacer una comparación si cada ves que se refresca la pagina si la cookie existe y tiene un contenido. asignarle ese contenido al iframe
ejemplo..
------- 1 entra
se guarda la pagina
cookie = intro.php
------ 2 el usuario navega y hace click en docentes con el href-> paginador entonse
la cookie se acualiza
cookie = paginador.php
el usuario apretar F5
-> la pagina se carga
y el (en este caso usamos php) php
se examina
si el cookie existe y tiene contenido valido
entonses colocar ese contenido en el SRC del iframe
si no es asi en el SRC colocar intro.php
/////////////////////
detalle si piensas que los iframe...
Cita: se supone que los iframes son para colocar informacion y evitar mostrar direccione etc etc .....
estas mal porque yo puedo hacer
click contrario y darle a la opción
ver marco en una nueva pestaña y ver las direcciones
los iframe solo son para permitir insertar un HTML dentro de otro documento HTML
------- cualquier cosa me avisas