You can download the ProntoScript Dev Guide from the files section here.
If you don't know Javascript, you might want to pick up the Flanagan book referenced as the "bible" in the appendix of the Dev Guide. You will only need to review the first 10 or so chapters to get Core Javascript programming down.
To get an idea of the basics of changing labels on buttons/panels, etc... Have a look at this configuration (built for 9400)
[Link: files.remotecentral.com]Lyndel