diff options
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 4d8df2f08808..2471aa8b594c 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, perl, nettools, polyml, emacs, emacsPackages }: +{ stdenv, fetchurl, perl, nettools, polyml, proofgeneral }: # nettools needed for hostname let @@ -6,7 +6,6 @@ let version = "2009-1"; name = "${pname}${version}"; theories = ["HOL" "FOL" "ZF"]; - proofgeneral = (emacsPackages emacs).proofgeneral; in stdenv.mkDerivation { |