Title: La población en la frontera de Gibraltar y el repartimiento de Vejer (siglos XIII y XIV)