Hola!
edo es el final
edodev es un buffer
edotemp es donde tomar apuntes

Las cosas van de edotemp a edodev, en edodev se corrigen y corregidas se meten a edo.tex

Normalmente edodev se queda vacio, sino no tocadlo mejor xD