  The term "tropical convexity" was coined by Develin and Sturmfels who
published a landmark paper with that title in 2004. However, the topic has much
older roots and is deeply connected to linear and combinatorial optimization
and other areas of mathematics. The purpose of this survey is to sketch how
that article contributed to shaping the field of tropical geometry as we know
it today.
