• Wish list for COQIDE
• Friendly first use of CoqIDE
• Look and Feel
• Miscellaneous features
• Former requests, now granted