La "Vida de San Ildefonso" fue transmitida en un manuscrito del siglo XV, en la actualidad en el Museo Lázaro Galdiano, del que se posee además una copia del siglo XVIII; por otra parte, hubo un manuscrito del siglo XIV que fue copiado en el siglo XVIII por el ilustrado padre benedictino Martín Sarmiento, por el poeta Vicente García de la Huerta y por los eruditos decimonónicos Tomás Antonio Sánchez y Florencio Janer.