GaloisInc/ivory — pull request #2 by ehamberg (2013-05-14 15:44:43+00:00)
Title: Fix some minor issues in the Ivory user guide

(SOMEONE accidentally a word.)