diff options
| author |   Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:00 +0000 |
|---|---|---|
| committer | Christian Faulhammer <opfer@gentoo.org> | 2006-11-02 20:23:00 +0000 |
| commit | a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5 (patch) | |
| tree | e7685630dbaacb72a2830219bb8a2663d99d2a74 /app-emacs/proofgeneral/ChangeLog | |
| parent | Dropped ppc-macos, see you in prefix. (diff) | |
| download | gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.tar.gz gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.tar.bz2 gentoo-2-a00d6cbd88dd96eb96d7aae909a0e0f12f43a2a5.zip | |
removed question for executable, so this ebuild is not interactive anymore. Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org>
(Portage version: 2.1.1-r1)
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
| -rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 2760be30a5c7..071aea7d1529 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,14 @@ # ChangeLog for app-emacs/proofgeneral -# Copyright 2000-2005 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.9 2005/08/28 02:21:25 tester Exp $ +# Copyright 2000-2006 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.10 2006/11/02 20:23:00 opfer Exp $ + +*proofgeneral-3.5-r1 (02 Nov 2006) + + 02 Nov 2006; Christian Faulhammer <opfer@gentoo.org> + +files/proofgeneral-3.5_isabelle-non-interactive.patch, + +proofgeneral-3.5-r1.ebuild: + removed question for executable, so this ebuild is not interactive anymore. + Reporte in bug #148857 by Patrick Lauer <patrick@gentoo.org> 28 Aug 2005; Olivier Crête <tester@gentoo.org> proofgeneral-3.5.ebuild: Marked ~amd64, thanks to AT AJ Armstrong <aja@gentoo.org> for testing |