Neil
Thanks for starting John Renbourn's Bicycle Tune lesson.
In Guitar Pro 6 the default tuning setting can be altered.
See image below, it only conveys the options available.
If you click on the tuning peg, the string sounds too.
Steps 1,2,3,4 - Experimentation is needed to get the correct sequence.
Dermot
Click Image To Enlarge