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 a9e6ffcb059b..fe4e1e72abdd 100644 --- a/app-emacs/proofgeneral/ChangeLog +++ b/app-emacs/proofgeneral/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for app-emacs/proofgeneral # Copyright 2000-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.11 2007/01/28 04:26:49 genone Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.12 2007/03/08 07:58:46 opfer Exp $ + + 08 Mar 2007; Christian Faulhammer <opfer@gentoo.org> + files/50proofgeneral-gentoo.el: + add load path correctly, fixes bug 169588, reported by Ulrich Mueller + <ulm@kph.uni-mainz.de> 28 Jan 2007; Marius Mauch <genone@gentoo.org> proofgeneral-3.5.ebuild, proofgeneral-3.5-r1.ebuild: |