Changes in coqide.tex