Se agrega comprobacion de archivo log tambien en la compilacion de ebook
Se empieza a trabajar en los ambientes de teoremas para agregarles color