From 43925606d39ad12b5b1019aec61843d947755f31 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 5 Aug 2018 17:20:11 +0200 Subject: Set the minimal supported version of emacs to 24.3 instead of 24.4 This agrees with the minimal version of GNU Emacs currently tested by Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS Reference: https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986 --- doc/PG-adapting.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/PG-adapting.texi') diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 44c40549..86ab21b6 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -52,7 +52,7 @@ @set version 4.4.1~pre -@set emacsversion 24.4 +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ -- cgit v1.2.3 From 14d1e38c2be8e1b366c27cd53a35180de7982dc4 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Sun, 5 Aug 2018 18:04:19 +0200 Subject: Bump version from 4.4.1~pre to 4.5-git This commit ensures the version number is (version-to-list)-compliant. --- CHANGES | 2 +- Makefile.devel | 4 ++-- README.md | 2 +- doc/PG-adapting.texi | 2 +- doc/ProofGeneral.texi | 2 +- etc/ProofGeneral.spec | 2 +- generic/proof-site.el | 2 +- proof-general-pkg.el | 3 ++- 8 files changed, 10 insertions(+), 9 deletions(-) (limited to 'doc/PG-adapting.texi') diff --git a/CHANGES b/CHANGES index e7343e08..02da6c87 100644 --- a/CHANGES +++ b/CHANGES @@ -4,7 +4,7 @@ This is a summary of main changes. For details, please see the Git ChangeLog, the GitHub repo https://github.com/ProofGeneral/PG and the PG Trac http://proofgeneral.inf.ed.ac.uk/trac -* Changes of Proof General 4.4.1 from Proof General 4.4 +* Changes of Proof General 4.5 from Proof General 4.4 ** Generic changes diff --git a/Makefile.devel b/Makefile.devel index b3b9d58d..603a43b4 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -91,8 +91,8 @@ DEVELOPERS=\ # The prereltag.txt is kept as a record in the distrib area # of the current pre-release version (currently not used explicitly # anywhere for web pages/whatever). -PRERELEASE_PREFIX=4\.4\.1~pre -PRERELEASE_TAG=4.4.1~pre +PRERELEASE_PREFIX=4\.5-git +PRERELEASE_TAG=4.5-git ### Formerly: PRERELEASE_TAG=4.4pre$(shell date "+%y%m%d") PREREL_TAG_FILE=prereltag.txt diff --git a/README.md b/README.md index 1a2b8266..d5d99d91 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ Proof General is a generic Emacs interface for proof assistants. The aim of the Proof General project is to provide a powerful, generic environment for using interactive proof assistants. -This is version 4.4.1~pre of Proof General. +This is version 4.5-git of Proof General. ## About Proof General branches diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 86ab21b6..c3ddb837 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -51,7 +51,7 @@ @c @ref{node} without "see". Careful for info. -@set version 4.4.1~pre +@set version 4.5-git @set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 787d299b..56bf869e 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -57,7 +57,7 @@ @c @ref{node} without "see". Careful for info. @c -@set version 4.4.1~pre +@set version 4.5-git @set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 2a97e19e..f1d006a7 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -1,6 +1,6 @@ Summary: Proof General, Emacs interface for Proof Assistants Name: ProofGeneral -Version: 4.4.1~pre +Version: 4.5-git Release: 1 Group: Text Editors/Integrated Development Environments (IDE) License: GPL diff --git a/generic/proof-site.el b/generic/proof-site.el index dccc32a9..9900aa5c 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -80,7 +80,7 @@ (eval-and-compile ;; WARNING: do not edit next line (constant is edited in Makefile.devel) - (defconst proof-general-version "Proof General Version 4.4.1~pre." + (defconst proof-general-version "Proof General Version 4.5-git." "Version string identifying Proof General release.")) (defconst proof-general-short-version diff --git a/proof-general-pkg.el b/proof-general-pkg.el index b14ed1d6..53f33432 100644 --- a/proof-general-pkg.el +++ b/proof-general-pkg.el @@ -1,2 +1,3 @@ -(define-package "proof-general" "4.4.1~pre" "A generic front-end for proof assistants (interactive theorem provers)" +(define-package "proof-general" "4.5-git" + "A generic front-end for proof assistants (interactive theorem provers)" '((emacs "24.3"))) -- cgit v1.2.3 From 8e6a504ccf99da11044b901c5450ed97ca43c725 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 23 Aug 2018 00:12:00 +0200 Subject: Update Info dir file (so there’s no unwanted line break) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/PG-adapting.texi | 2 +- doc/ProofGeneral.texi | 2 +- doc/dir | 5 ++--- 3 files changed, 4 insertions(+), 5 deletions(-) (limited to 'doc/PG-adapting.texi') diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index c3ddb837..5740faa2 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -58,7 +58,7 @@ @dircategory Theorem proving @direntry -* Adapting Proof General: (PG-adapting). Adapt Proof General to new provers +* Adapting PG: (PG-adapting). Adapt Proof General to new provers END-INFO-DIR-ENTRY @end direntry diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 56bf869e..5663a6d5 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -64,7 +64,7 @@ @dircategory Theorem proving @direntry -* Proof General: (ProofGeneral). Organize your proofs with Emacs! +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! @end direntry @c diff --git a/doc/dir b/doc/dir index f81630d1..beea6f2a 100644 --- a/doc/dir +++ b/doc/dir @@ -1,4 +1,3 @@ -$Id$ This is the file .../info/dir, which contains the topmost node of the Info hierarchy. The first time you invoke Info you start off looking at that node, which is (dir)Top. @@ -16,5 +15,5 @@ File: dir Node: Top This is the top of the INFO tree * Menu: Theorem proving -* Proof General: (ProofGeneral). Organize your proofs with Emacs! -* Adapting Proof General: (PG-adapting). Adapt Proof General to new provers +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! +* Adapting PG: (PG-adapting). Adapt Proof General to new provers -- cgit v1.2.3