Problemas de llaves.
Te faltan las de ese else
Código PHP:
Ver originalif (isset($_GET['cod_alu']) && isset($_SESSION['cod_docente'])) {
$cod_doc = $_SESSION['cod_docente'];
$cod_alu = $_GET["cod_alu"];
}else{
y comenté este otro else
Me mostraba una tabla por lo menos, no tengo mysql acá así que no lo puedo probar bien xd.