Update coqide.tex