the city used to be called jeffersonville. in the beginning of the 1900s, the city had many new people move in. these people moved for the coal mines. ever since 1940 the population has gotten smaller. this is because of the coal mines not being used anymore.