Fue comenzado tras 1075 y Leo lo terminó en 1098; fue continuado por el bibliotecario monástico Pedro el Diácono.