Undelete-show-file-confirm
De Demostración automática de teoremas (2014-15)
¿Estás seguro de que quieres ver una revisión borrada del archivo «$1» del $2 a las $3?
¿Estás seguro de que quieres ver una revisión borrada del archivo «$1» del $2 a las $3?