fix hr milestones in latex output
Merge pull request #38 from SemanticsOS/lambdafu/hr

fix hr milestones in latex output