Pues eso, que mi pc se murió, y hubo que formatear los discos duros y .... El caso es que ahora el book designer no me convierte los documentos que están en pdf (antes sí lo hacía). ¿Alguien sabe si había que cambiar algo en settings o qué? Ya instalé la versión nueva, tras tener instalada la antigua. ¡Gracias!!!