proofgeneral (4.3~pre131011-0.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Remove {build,runtime} alternative dependencies on emacs23*:
    Emacs 23 is not in testing/sid anymore, and sbuild always picks
    the first alternative, which made the package FTBFS (Closes: #768619).

 -- intrigeri <intrigeri@debian.org>  Sun, 16 Nov 2014 17:46:59 +0100

proofgeneral (4.3~pre131011-0.1) unstable; urgency=low

  * Non-maintainer upload.
  * New upstream release
  * debian/patches
    - drop fix-texinfo-5-1-bug.patch: unnecessary anymore
    - drop pg-image-bug.patch: unnecessary (cause FTBFS)

 -- Hideki Yamane <henrich@debian.org>  Tue, 12 Aug 2014 22:03:50 +0900

proofgeneral (4.3~pre130510-1.1) unstable; urgency=medium

  * Non-maintainer upload.
  * debian/control
    - add "Build-Depends: texlive-fonts-recommended" to fix FTBFS
     (Closes: #738392)
    - remove unnecessary "Build-Depends: texi2html" due to transtion
      (see https://wiki.debian.org/Texi2htmlTransition)
  * debian/patches
    - add transition_to_makeinfo.patch to use makeinfo, instead of texi2html
  * also update debian/proofgeneral-doc.doc-base to deal with changes with
    above

 -- Hideki Yamane <henrich@debian.org>  Sat, 15 Feb 2014 19:57:15 +0900

proofgeneral (4.3~pre130510-1) unstable; urgency=low

  * New upstream release (Closes: #707331)
  * improve watch file (thanks to Bart Martens for the uversionmangle hint)
  * add new patch to install coq example and add hint in tutorial 
    (Closes: #687977) 
  * add new patch fix-texinfo-5-1-bug to fix a problem with texinfo 5.1
  * add new patch pg-image-bug to rename ProofGeneral.jpg
  * permit emacs24
  * update README.Debian
  * bump standards version to 3.9.4
  * debhelper compat level 9

 -- Hendrik Tews <hendrik@askra.de>  Wed, 15 May 2013 17:11:19 +0200

proofgeneral (4.2~pre120605-2) unstable; urgency=low

  * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285)
  * delete wrong info in README.Debian

 -- Hendrik Tews <hendrik@askra.de>  Tue, 04 Dec 2012 14:50:27 +0100

proofgeneral (4.2~pre120605-1) unstable; urgency=low

  * New upstream release (Closes: #669318)
  * fix byte-compile-error-on-warn in emacsen-install, --no-site-file has
    been dropped already in 4.2~pre120411-2 (Closes: #671583)
  * use debian-emacs-flavor in emacsen-startup (see #662163)
  * delete patch disable-proof-tree, add patch smartly-enable-prooftree
    for enabling prooftree if Coq >= 8.4beta is detected
  * fix package description
  * add hints on Prooftree and incompatibility with manual Coq
    installations to README.Debian
  * new patch for using debian-pkg-add-load-path-item (see #670339), but
    don't use it, because debian-pkg-add-load-path-item breaks Proof
    General, see #676424

 -- Hendrik Tews <hendrik@askra.de>  Wed, 06 Jun 2012 23:12:58 +0200

proofgeneral (4.2~pre120411-2) unstable; urgency=low

  * link el files into ELCDIR (Closes: #670341)
  * link image files in emacsen-install
  * fix flavor in emacsen-startup (see #662163)

 -- Hendrik Tews <hendrik@askra.de>  Wed, 25 Apr 2012 22:57:47 +0200

proofgeneral (4.2~pre120411-1) unstable; urgency=low

  * New upstream release
  * remove 3 patches that have been applied upstream

 -- Hendrik Tews <hendrik@askra.de>  Sat, 21 Apr 2012 23:28:59 +0200

proofgeneral (4.2~pre120206-1) unstable; urgency=low

  * new upstream prerelease (Closes: #642048)
  * moved to section editors 
  * standards version 3.9.3
  * fix compilation with emacs-nox (Closes: #660353)
  * don't support broken PhoX anymore (Closes: #544436)

 -- Hendrik Tews <hendrik@askra.de>  Tue, 28 Feb 2012 12:53:12 +0100

proofgeneral (4.2~pre120112-1) unstable; urgency=low

  * adopting proofgeneral (Closes: #554263)
  * restart packaging from scratch (Closes: #626589)
    This new Proof General package has not much in common with the old
    one:
    - source package format 3.0 (quilt)
    - only two binary packages: proofgeneral and proofgeneral-doc
    - no support for Isabelle/Hol or Isar, because Isabelle is packaged
      with its own custom version of Proof General (Closes: #252721)
    - no support for minlog because it is not present upstream 
      (Closes: #613779)
    - support only Coq and PhoX
    - no debconf, proofgeneral is always installed site-wide (Closes: #452824)
    - only support emacs23, because upstream only supports emacs23
      (Closes: #520566)
    The old changelog file is appended below.

 -- Hendrik Tews <hendrik@askra.de>  Thu, 12 Jan 2012 21:15:51 +0100

# For older changelog entries, run 'apt-get changelog proofgeneral-doc'
