|
| From: | zimoun |
| Subject: | bug#46016: broken Proof-General (emacs front-end to Coq) |
| Date: | Mon, 22 Nov 2021 19:36:04 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi, On Wed, 10 Nov 2021 at 20:38, zimoun <zimon.toutoune@gmail.com> wrote: > 1: <http://issues.guix.gnu.org/issue/51755> Done with cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8. Cheers, simon
| [Prev in Thread] | Current Thread | [Next in Thread] |