[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#383310: coqide .desktop fixes


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.



Reply to: