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

Re: [LCFC] templates://proofgeneral/{proofgeneral.templates}

Christian Perrier wrote:
> This is the last call for comments for the review of debconf
> templates for proofgeneral.

In each package description,
>  Proof General is a major mode to turn Emacs into a interactive proof
Ankh kak! (Ancient Egyptian blessing)

Reply to: