From dae7b3a35f3717d8a60c83a025e2bfad16ea120b Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 10 Feb 2017 09:34:34 +0100
Subject: [PATCH] Update coq and use default emacs.

---
 common-sw.nix | 2 +-
 large-sw.nix  | 4 +---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/common-sw.nix b/common-sw.nix
index 55ebf3c..9dbcf0e 100644
--- a/common-sw.nix
+++ b/common-sw.nix
@@ -40,7 +40,7 @@
     ghc-mod
 
     # emacs
-    # emacs
+    emacs
     emacsPackages.cask
     ghostscript # for auctex
     aspell
diff --git a/large-sw.nix b/large-sw.nix
index 395b8fa..8ff881a 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -13,9 +13,7 @@
     calibre
     vscode
 
-    coq_8_5
-
-    myemacs
+    coq_8_6
 
     # cargo rustc
   ] ++ (with aspellDicts; [ en de fr nl ]);