tagging hets release-0.99
tagging 0.98 hets release
tagging 0.97 hets release
tagging 0.95 hets release
tagging 0.93 hets release
tagging hets release-0.9
tagging hets release-0.87
tagging hets release-0.85
changed tests
merged in r8833 from trunk