bug#46016: closed (broken Proof-General (emacs front-end to Coq))

[GNU bug Tracking System]

Your message dated Mon, 22 Nov 2021 19:36:04 +0100
with message-id <87zgpwqbqj.fsf@gmail.com>
and subject line Re: bug#46016: broken Proof-General (emacs front-end to Coq)
has caused the debbugs.gnu.org bug report #46016,
regarding broken Proof-General (emacs front-end to Coq)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
46016: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46016
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> broken Proof-General (emacs front-end to Coq)
>
>
>
>
> Date: 
>
> Thu, 21 Jan 2021 12:10:55 +0100
>
>
>
>
> Hi,
>
> Let instantiate an environment:
>
>   guix environment -C -E TERM \
>        --ad-hoc coq proof-general emacs \
>        busybox \ 
>        -- emacs -q
>
> and then “C-h i m“ list ‘Proof General’ and I can read the manual.
> However, there is no ELisp about coq-mode or pg stuff.  Let ’M-x shell’
> and then:
>
> --8<---------------cut here---------------start------------->8---
> $ ls -aR1 $GUIX_ENVIRONMENT | grep '\.el'
> guix-emacs.el
> guix-emacs.elc
> site-start.el
> site-start.elc
> --8<---------------cut here---------------end--------------->8---
>
> (The package busybox is for debugging: necessary to be able to run Info
> in container, list all files and grep them.) 
>
>
> Maybe it is related to bug#45781 [1].
>
> 1: < https://issues.guix.gnu.org/45781>
>
>
> All the best,
> simon
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: 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
>
>
> --- End Message ---