remove longjmp in signalhandler of prompter
[mmh] / docs / DIFFERENCES_nmh_MH
2012-03-22 markus schnalkeMoved and renamed some documentation files.