# ChangeLog for app-emacs/proofgeneral
# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
# $Header: /var/cvsroot/gentoo-x86/app-emacs/proofgeneral/ChangeLog,v 1.26 2009/06/04 19:24:04 fauli Exp $

  04 Jun 2009; Christian Faulhammer <fauli@gentoo.org>
  proofgeneral-3.7.1.ebuild:
  stable x86, bug 272471

*proofgeneral-3.7.1 (30 Jan 2009)

  30 Jan 2009; Ulrich Mueller <ulm@gentoo.org> proofgeneral-3.7.ebuild,
  +proofgeneral-3.7.1.ebuild:
  Version bump. Remove missing file from dodoc arguments, bug 256683.

  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:
  Fix patch to apply.

  12 Apr 2008; nixnut <nixnut@gentoo.org> proofgeneral-3.7.ebuild:
  Stable on ppc wrt bug 215344

  31 Mar 2008; Christian Faulhammer <opfer@gentoo.org>
  proofgeneral-3.7.ebuild:
  stable x86, bug 215344

  30 Mar 2008; Santiago M. Mola <coldwind@gentoo.org>
  proofgeneral-3.7.ebuild:
  amd64 stable wrt bug #215344

*proofgeneral-3.7 (27 Feb 2008)

  27 Feb 2008; Ulrich Mueller <ulm@gentoo.org>
  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 <opfer@gentoo.org>
  proofgeneral-3.5-r1.ebuild:
  stable amd64, bug 195156

  11 Oct 2007; Ulrich Mueller <ulm@gentoo.org> -proofgeneral-3.5.ebuild:
  Remove old.

  11 Oct 2007; Lars Weiler <pylon@gentoo.org> proofgeneral-3.5-r1.ebuild:
  stable ppc, bug #195156

  08 Oct 2007; Christian Faulhammer <opfer@gentoo.org>
  proofgeneral-3.5-r1.ebuild:
  stable x86, bug 195156

  07 Oct 2007; Ulrich Mueller <ulm@gentoo.org> 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 <opfer@gentoo.org>
  proofgeneral-3.5-r1.ebuild:
  clean-up DEPEND; exchange manual make calls with emake; adjusted
  DESCRIPTION; removed pkg_postrm

  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.