[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#51755] [PATCH 1/1] gnu: proof-general: Adjust autoloads for Emacs.
|
From: |
zimoun |
|
Subject: |
[bug#51755] [PATCH 1/1] gnu: proof-general: Adjust autoloads for Emacs. |
|
Date: |
Sun, 21 Nov 2021 23:17:45 +0100 |
Hi Nicolas,
On Mon, 22 Nov 2021 at 19:22, Nicolas Goaziou <mail@nicolasgoaziou.fr> wrote:
> I pushed it directly. Thank you!
Thank you.
Cheers,
simon
[bug#51755] [PATCH 0/1] Fix ProofGeneral (emacs front-end for Coq), zimoun, 2021/11/19