Buenas!!
Tal cual como dijo
Carxl, sumo algo... incluí el value="" dentro de la etiqueta php, así mirá:
Código PHP:
<input type='text' name='codigo_docente' <?php echo "value='".$_SESSION[codigo_docente]."'";?> />
(esto es un detalle... y es por si esta variable de sesión está vacía, entonces quedaría: <input type='text' name='cualquiera'
value='' />)
chapulín