session_start(); // Check if the user is logged in, if not then redirect him to login page
if(!isset($_SESSION["loggedin"]) || $_SESSION["loggedin"] !== true) header("location: login.php"); exit;}?>
Docencia
Para facilitar la elaboración y consulta de las distintas actividades docentes, se listan a
continuación una serie de ficheros con información de interés al respecto.