bug#33866: [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti.

guix-patches

From:	Julien Lepiller
Subject:	bug#33866: [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti.
Date:	Thu, 27 Dec 2018 09:20:43 +0100

Pushed as 4a2e1e72806fd62e54201a4aacde213d419d04bd and
ad536c98f9125f47dd948be7dd42d5c34e84bdfd, thank you!

pgpXQfGymz8cR.pgp
Description: Signature digitale OpenPGP

Current Thread

[Next in Thread]

[bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti., Gabriel Hondet, 2018/12/25
- [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti., Julien Lepiller, 2018/12/25
- [bug#33866] [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti., Julien Lepiller, 2018/12/25
  - [bug#33866] [PATCH 1/2] gnu: Add emacs-dedukti-mode., Gabriel Hondet, 2018/12/25
    - [bug#33866] [PATCH 1/2] gnu: Add emacs-dedukti-mode., Julien Lepiller, 2018/12/26
    - [bug#33866] [PATCH 1/2] gnu: Add emacs-dedukti-mode., Gabriel Hondet, 2018/12/26
  - [bug#33866] [PATCH 2/2] gnu: Add emacs-flycheck-dedukti., Gabriel Hondet, 2018/12/25
- bug#33866: [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti., Julien Lepiller <=