Update ide.tex