diff options
Diffstat (limited to 'app-emacs/proofgeneral/ChangeLog')
-rw-r--r-- | app-emacs/proofgeneral/ChangeLog | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/ChangeLog b/app-emacs/proofgeneral/ChangeLog index 784024e33ec6..f32f32230ce0 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,11 @@ # 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.23 2008/11/17 19:57:17 flameeyes Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.24 2008/12/06 17:23:50 fauli Exp $ + + 06 Dec 2008; Christian Faulhammer <fauli@gentoo.org> + -files/proofgeneral-3.5_isabelle-non-interactive.patch, + -proofgeneral-3.5-r1.ebuild: + clean up 17 Nov 2008; Diego E. Pettenò <flameeyes@gentoo.org> files/proofgeneral-3.5_isabelle-non-interactive.patch: |