You can find more information, as well as the most up to date files on the development site:

CoralMud Development Site

Latest additions include socials, more editor support, bug fixes, spellchecker, and many overall improvements.