log

age author description
Thu, 26 Sep 2013 15:26:12 -0400 Adam Chlipala Fix a word that was only included in LaTeX version