# ChangeLog for app-emacs/proofgeneral # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2 # $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.30 2010/02/11 09:56:22 ulm Exp $ 11 Feb 2010; Ulrich Mueller proofgeneral-3.7.1.ebuild: Fix parallel make issue, install html documentation, bug 304399. 17 Aug 2009; Christian Faulhammer -proofgeneral-3.7.ebuild: clean up 11 Jun 2009; Markus Meier proofgeneral-3.7.1.ebuild: amd64 stable, bug #272471 06 Jun 2009; nixnut proofgeneral-3.7.1.ebuild: ppc stable #272471 04 Jun 2009; Christian Faulhammer proofgeneral-3.7.1.ebuild: stable x86, bug 272471 *proofgeneral-3.7.1 (30 Jan 2009) 30 Jan 2009; Ulrich Mueller proofgeneral-3.7.ebuild, +proofgeneral-3.7.1.ebuild: Version bump. Remove missing file from dodoc arguments, bug 256683. 06 Dec 2008; Christian Faulhammer -files/proofgeneral-3.5_isabelle-non-interactive.patch, -proofgeneral-3.5-r1.ebuild: clean up 17 Nov 2008; Diego E. Pettenò files/proofgeneral-3.5_isabelle-non-interactive.patch: Fix patch to apply. 12 Apr 2008; nixnut proofgeneral-3.7.ebuild: Stable on ppc wrt bug 215344 31 Mar 2008; Christian Faulhammer proofgeneral-3.7.ebuild: stable x86, bug 215344 30 Mar 2008; Santiago M. Mola proofgeneral-3.7.ebuild: amd64 stable wrt bug #215344 *proofgeneral-3.7 (27 Feb 2008) 27 Feb 2008; Ulrich Mueller files/50proofgeneral-gentoo.el, +proofgeneral-3.7.ebuild: Version bump. Use our own site file and install it in the proper location, fixes bug 211658. Some cleanup of the ebuild. 16 Oct 2007; Christian Faulhammer proofgeneral-3.5-r1.ebuild: stable amd64, bug 195156 11 Oct 2007; Ulrich Mueller -proofgeneral-3.5.ebuild: Remove old. 11 Oct 2007; Lars Weiler proofgeneral-3.5-r1.ebuild: stable ppc, bug #195156 08 Oct 2007; Christian Faulhammer proofgeneral-3.5-r1.ebuild: stable x86, bug 195156 07 Oct 2007; Ulrich Mueller proofgeneral-3.5.ebuild, proofgeneral-3.5-r1.ebuild: Remove redundant SIMPLE_ELISP and DEPEND=virtual/emacs. Quote some variables. 03 Jul 2007; Christian Faulhammer proofgeneral-3.5-r1.ebuild: clean-up DEPEND; exchange manual make calls with emake; adjusted DESCRIPTION; removed pkg_postrm 08 Mar 2007; Christian Faulhammer files/50proofgeneral-gentoo.el: add load path correctly, fixes bug 169588, reported by Ulrich Mueller 28 Jan 2007; Marius Mauch 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 +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 28 Aug 2005; Olivier Crête proofgeneral-3.5.ebuild: Marked ~amd64, thanks to AT AJ Armstrong for testing 09 Oct 2004; Matthieu Sozeau -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 proofgeneral-3.5.ebuild: New version, we now use their makefile (not always non-interactive) and site file. 20 Jun 2004; Matthieu Sozeau proofgeneral-3.4.ebuild: Move to stable. 15 Mar 2004; Mamoru KOMACHI proofgeneral-3.4.ebuild: Fixed readonly variable assignment to PN and P. See bug #44712 22 Jan 2004; Matthieu Sozeau proofgeneral-3.4.ebuild: Fix URI's, site has changed location. *proofgeneral-3.4 (21 Jan 2004) 21 Jan 2004; Matthieu Sozeau metadata.xml, proofgeneral-3.4.ebuild, files/50proofgeneral-gentoo.el: Initial version, related bug's #30394.