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 | |
| 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')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-3.5_isabelle-non-interactive.patch | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index b7ed63349b8c..784024e33ec6 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.22 2008/04/12 08:58:07 nixnut Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.23 2008/11/17 19:57:17 flameeyes Exp $ + + 17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org> + files/proofgeneral-3.5_isabelle-non-interactive.patch: + Fix patch to apply. 12 Apr 2008; nixnut <nixnut@gentoo.org> proofgeneral-3.7.ebuild: Stable on ppc wrt bug 215344 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.") |