diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2008-11-17 19:57:17 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2008-11-17 19:57:17 +0000 |
| commit | b56129c76fa090b82fa0832b9d34f3abfef5a45a (patch) | |
| tree | d4a30ea145f69b130518e7308b17762272a19007 /app-emacs/proofgeneral/files | |
| parent | Fix patch to apply. (diff) | |
| download | gentoo-2-b56129c76fa090b82fa0832b9d34f3abfef5a45a.tar.gz gentoo-2-b56129c76fa090b82fa0832b9d34f3abfef5a45a.tar.bz2 gentoo-2-b56129c76fa090b82fa0832b9d34f3abfef5a45a.zip | |
Fix patch to apply.
(Portage version: 2.2_rc14/cvs/Linux 2.6.27-gentoo-r2 x86_64)
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch index 444a344b6569..e81ad7a1178c 100644 --- a/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch +++ b/app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch @@ -1,5 +1,5 @@ ---- /tmp/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100 -+++ isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100 +--- a/isa/isabelle-system.el 2006-11-02 21:09:59.000000000 +0100 ++++ b/isa/isabelle-system.el 2006-11-02 21:10:36.000000000 +0100 @@ -64,26 +64,6 @@ (defvar isatool-not-found nil "Non-nil if user has been prompted for `isatool' already and it wasn't found.") |