From cc84ac9e84c2e1be9eabd0033437486efb42277c Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Mon, 2 Aug 2010 16:01:55 +0000
Subject: svn path=/nixpkgs/trunk/; revision=22880

---
 pkgs/applications/science/logic/isabelle/default.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pkgs/applications/science')

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 {
-- 
cgit 1.4.1