Hi, Vassilis Pandis wrote: > The .desktop that comes with coqide does not appear in the menus because of the following bug: > http://launchpad.net/bugs/47426. The .desktop would also benefit from other minor fixes. Attached > is a diff with proposed alterations. Thanks in advance. This is already fixed in the experimental version. It will make its way to unstable when coq 8.1 is officially released. Thanks for reporting this. Cheers, Samuel.