all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* 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

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.