diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-08-02 16:01:55 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2010-08-02 16:01:55 +0000 |
commit | cc84ac9e84c2e1be9eabd0033437486efb42277c (patch) | |
tree | f43a797f18597e78a2ebad172e961a7db2c86771 /pkgs/applications/science/logic/isabelle/default.nix | |
parent | fd268b4852d39c18e604c584dd49a611dc795a9b (diff) | |
download | nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar.gz nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar.bz2 nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar.lz nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar.xz nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.tar.zst nixpkgs-cc84ac9e84c2e1be9eabd0033437486efb42277c.zip |
svn path=/nixpkgs/trunk/; revision=22880
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
-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 4d8df2f0880..2471aa8b594 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 { |