History

for article: GATOR mine system