Note 9 — HISTORICAL RECORD
Reading edition
When the Moors invaded Spain, about the year 711, they took possession of this rock, as a suitable place for the reception of supplies from the opposite coast, and they called it, in honour of a leader named Tarif, Gib-el-tarif, or Tarif’s Mountain; hence the name of Gibraltar is derived.