Record tactics
fixed hoqide.in
Merge pull request #38 from andrejbauer/master

Mike's Record tactics and a fix in hoqide