log doc/manual.tex

age author description
Thu, 05 Mar 2015 15:05:53 -0500 Adam Chlipala Document hexadecimal literals
Thu, 05 Mar 2015 14:58:34 -0500 Adam Chlipala Document new infix operators