We need to fix `anno -list -number'. Seems anno needs some more rework.
[mmh] / docs / DIFFERENCES_nmh_MH
2012-03-22 markus schnalkeMoved and renamed some documentation files.