Original: Pretoria itself was founded in 1855 by Marthinus Pretorius, a leader of the Voortrekkers, who named it after his father Andries Pretorius.
Simplified: He was a leader of the Voortrekkers.