• Building Coq trunk + native CoqIDE under Mac OS X
• Unicode