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
an
--
JBR
Ankh kak! (Ancient Egyptian blessing)