Otros documentos indican que los judíos que huían de Córdoba buscaron refugio en Gibraltar en 1473.