* Package dash
@ 2024-05-07 1:36 Heime
2024-05-07 2:49 ` Stefan Monnier via Users list for the GNU Emacs text editor
0 siblings, 1 reply; 5+ messages in thread
From: Heime @ 2024-05-07 1:36 UTC (permalink / raw)
To: Heime via Users list for the GNU Emacs text editor
Is dash part of emacs or an outside package ?
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Package dash
2024-05-07 1:36 Package dash Heime
@ 2024-05-07 2:49 ` Stefan Monnier via Users list for the GNU Emacs text editor
2024-05-07 19:44 ` Heime
0 siblings, 1 reply; 5+ messages in thread
From: Stefan Monnier via Users list for the GNU Emacs text editor @ 2024-05-07 2:49 UTC (permalink / raw)
To: help-gnu-emacs
> Is dash part of Emacs or an outside package ?
Both :-)
Stefan
^ permalink raw reply [flat|nested] 5+ messages in thread* Re: Package dash
2024-05-07 2:49 ` Stefan Monnier via Users list for the GNU Emacs text editor
@ 2024-05-07 19:44 ` Heime
2024-05-07 20:31 ` Heime
2024-05-09 13:28 ` Stefan Monnier via Users list for the GNU Emacs text editor
0 siblings, 2 replies; 5+ messages in thread
From: Heime @ 2024-05-07 19:44 UTC (permalink / raw)
To: Stefan Monnier; +Cc: help-gnu-emacs
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
I dash is part of emacs, how does company-coq complain about it not being
present ?
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Package dash
2024-05-07 19:44 ` Heime
@ 2024-05-07 20:31 ` Heime
2024-05-09 13:28 ` Stefan Monnier via Users list for the GNU Emacs text editor
1 sibling, 0 replies; 5+ messages in thread
From: Heime @ 2024-05-07 20:31 UTC (permalink / raw)
To: Heime; +Cc: Stefan Monnier, help-gnu-emacs
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 ?
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: Package dash
2024-05-07 19:44 ` Heime
2024-05-07 20:31 ` Heime
@ 2024-05-09 13:28 ` Stefan Monnier via Users list for the GNU Emacs text editor
1 sibling, 0 replies; 5+ messages in thread
From: Stefan Monnier via Users list for the GNU Emacs text editor @ 2024-05-09 13:28 UTC (permalink / raw)
To: help-gnu-emacs
> I dash is part of Emacs, how does company-coq complain about it not being
> present ?
"dash is part of Emacs" has several meanings, actually.
I think the only one that matters is that if you need dash you need to
install it. I recommend `M-x package-list RET` for that.
Stefan
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2024-05-09 13:28 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-05-07 1:36 Package dash Heime
2024-05-07 2:49 ` Stefan Monnier via Users list for the GNU Emacs text editor
2024-05-07 19:44 ` Heime
2024-05-07 20:31 ` Heime
2024-05-09 13:28 ` Stefan Monnier via Users list for the GNU Emacs text editor
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).