log

age author description
Sun, 11 Nov 2012 13:36:17 -0500 Adam Chlipala Updated description of CoqIDE limitations