# 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.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: Replacing einfo with elog *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 09 Oct 2004; Matthieu Sozeau <mattam@gentoo.org> -proofgeneral-3.4.ebuild, proofgeneral-3.5.ebuild: Move 3.5 to stable, remove old version. *proofgeneral-3.5 (20 Jun 2004) 20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.5.ebuild: New version, we now use their makefile (not always non-interactive) and site file. 20 Jun 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: Move to stable. 15 Mar 2004; Mamoru KOMACHI <usata@gentoo.org> proofgeneral-3.4.ebuild: Fixed readonly variable assignment to PN and P. See bug #44712 22 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> proofgeneral-3.4.ebuild: Fix URI's, site has changed location. *proofgeneral-3.4 (21 Jan 2004) 21 Jan 2004; Matthieu Sozeau <mattam@gentoo.org> metadata.xml, proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el: Initial version, related bug's #30394.