Update coq and use default emacs.

2017-02-10 09:34:34 +01:00 · 2017-02-10 09:34:34 +01:00 · dae7b3a35f
commit dae7b3a35f
parent 1ae12c020e
2 changed files with 2 additions and 4 deletions
--- a/common-sw.nix
+++ b/common-sw.nix
@ -40,7 +40,7 @@
    ghc-mod

    # emacs
-    # emacs
+    emacs
    emacsPackages.cask
    ghostscript # for auctex
    aspell
--- 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 ]);