[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Package dash
|
From: |
Heime |
|
Subject: |
Re: Package dash |
|
Date: |
Tue, 07 May 2024 20:31:34 +0000 |
Sent with Proton Mail secure email.
On Wednesday, May 8th, 2024 at 7:44 AM, Heime <heimeborgia@protonmail.com>
wrote:
>
>
>
>
>
> Sent with Proton Mail secure email.
>
>
> On Tuesday, May 7th, 2024 at 2:49 PM, Stefan Monnier via Users list for the
> GNU Emacs text editor help-gnu-emacs@gnu.org wrote:
>
> > > Is dash part of Emacs or an outside package ?
> >
> > Both :-) - Stefan
>
>
> If dash is part of emacs, how does company-coq complain about it not being
> present ?
Which ones from the list need installation ?