• What is CoqIde?
• How to enable Emacs keybindings?
• How to enable antialiased fonts?
• How to use those Forall and Exists pretty symbols?
• How to define an input method for non ASCII symbols?
• How to define simple shortcuts for greek letters?
• How to customize the shortcuts for menus?
• What encoding should I use? What is this \x{iiii} in my file?
• How to get rid of annoying unwanted automatic templates?