Hi Bill.

Have you checked the owners download area of Codemine web page?
You will find there:

Download the Latest Software

Download CodeMine V7.5.1a
Last Updated Mar 1, 2006

Download CodeMine 7.5 HTML Help File
Last Updated Feb 17, 2006

And the instructions I gave you are there as well.