DNS-customisations
customised features of the Dragon NaturallySpeaking 11.5 installation
scripts and notes related to customisation of Dragon NaturallySpeaking installations
Standard ML
customised features of the Dragon NaturallySpeaking 11.5 installation