diff options
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
-rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 6 |
1 files changed, 5 insertions, 1 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 |