Corrected tutorial: now using 'allHTFTests' in sample main.
Corrected tutorial: now using 'allHTFTests' in sample main.

Ignore-this: c796f74b2d900c5163596ff59476229b

darcs-hash:20110521103923-23dba-c4201007a4f307eccfc5b561002e1dd36edb53e0

skogsbaer/HTF,skogsbaer/HTF,ekarayel/HTF,ekarayel/HTF