I was playing a save game from 1.7 and attempted the asteroid mining - and the option does not come up.
Does asteroid mining only begin when you start a new game under 1.8?
Under the planets, the "uncolonized planets" displayed......................
Inquiring minds wanna know.....................