* untar Coq sources
* cd coq-8.x
* patch -p1 -i coq-8.x.papuq.diff
(* for Polish version: cd ide; mv localization.ml localization-en.ml; mv localization-pl.ml localization.ml; cd .. *)
* ./configure
* make world
* coqide
* Have fun!