Add where to get emacs for Mac OS X. Minor clarifications.
Add where to get emacs for Mac OS X. Minor clarifications.

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware