proofgeneral (4.4.1~pre170114-1) unstable; urgency=medium

  * Imported Upstream version 4.4.1~pre170114
    git hash 6d1f608c6e7c39eff89b9461a2f4ea7ff1b19899
  * fix lintian copyright issue
  * add patch fix-coqtags and install coqtags
  * add emacsen compat file (Closes: #758968)
  * add patch desktop-keyword-entry for desktop-entry-lacks-keywords-entry
    lintian warning
  * disable StartupWMClass towards a solution of #746466
  * fix emacs warning inside emacsen-install

 -- Hendrik Tews <hendrik@askra.de>  Mon, 16 Jan 2017 17:30:55 +0100

proofgeneral (4.4.1~pre161230-0.1) unstable; urgency=medium

  * Non-maintainer upload.
  * New upstream release.
  * Make package work with emacs24 or emacs25 (Closes: #846990).
  * debian/control: Remove ${shlib:Depends} for package proofgeneral.
  * Drop debian/menu, following tech-ctte decision on #741573.
  * debian/README.Debian: Remove special note about prooftree, which
    is now a proper Debian package, and added HOL Light as prover.
  * debian/*: Adapt to new upstream home at github.
  * debian/patches/:
    - drop smartly-enable-prooftree
    - restrict-installed-provers.patch: added hol-light as prover
    - refresh all others

 -- Richard B. Kreckel <kreckel@debian.org>  Fri, 30 Dec 2016 22:22:22 +0100

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

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