History

for article: Outline of mining