Getting prepared for the licensing-problems-free 8.0 release of COQ.
Added coqide faq.
Added coqide faq.
Removed coq-interface manpage.
Added manpage, removed utf8.vo and FAQ from lib.
Minor changes.
Stupid mistake.
We don't want --fail-missing
Now installing .coqide-gtk2rc.
Corrected a few problems.
Added a manpage for coqide.
Try to build in opt, ready for dpatch, manpages added (but not used yet).
Working bytecode fallback.
Opt with fallback on byte should work now.
Check is now in byte when compiled in fallback byte.
Corrected a bug due to a really unexpected bheaviour of make.
We only need to call check since world depends on it.
Ready for 3.08 + removed dpatch support.
Getting ready for an upload to experimental.
Corrected a typo.