[Top][All Lists]

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

[bug#51755] [PATCH 0/1] Fix ProofGeneral (emacs front-end for Coq)

From: zimoun
Subject: [bug#51755] [PATCH 0/1] Fix ProofGeneral (emacs front-end for Coq)
Date: Fri, 19 Nov 2021 13:27:13 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)

Hi Coq or Emacs reviewers,

On Wed, 10 Nov 2021 at 20:26, zimoun <> wrote:

> This is a follow-up of bug#46016 [1] and I think close it.
> Now, it is possible to use ProofGeneral as any other Emacs packages.  For
> instance,
>    guix shell emacs proof-general coq
>    emacs foo.v
> For now, the dependency of 'coq' is removed as with many Emacs packages.
> Other said, the user has to provide such dependency.  IMHO, it is the spirit
> of such package where the 'prover' is let to the user (several are more or
> less supported, see doc [2]).
> 1: <>
> 2: 
> <>

Friendly ping. :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]