log

age author description
Mon, 17 Jan 2011 15:12:30 -0500 Adam Chlipala Tweak mark-up to support coqdoc 8.3
Mon, 17 Jan 2011 11:42:09 -0500 Adam Chlipala Typo fix