Izidor Seviljski: razlika med redakcijama