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 +- doc/ProofGeneral.texi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') 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$ diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 579ab976..787d299b 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -58,7 +58,7 @@ @c @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. --- doc/PG-adapting.texi | 2 +- doc/ProofGeneral.texi | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'doc') 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$ -- 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) --- doc/PG-adapting.texi | 2 +- doc/ProofGeneral.texi | 2 +- doc/dir | 5 ++--- 3 files changed, 4 insertions(+), 5 deletions(-) (limited to 'doc') 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 From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 23 Aug 2018 00:01:12 +0200 Subject: Fix most doc issues raised by (checkdoc) --- doc/docstring-magic.el | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'doc') diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index 614b56e2..409fd22a 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -36,15 +36,15 @@ (let ((assistants (mapcar (function car) proof-assistant-table))) ; assume not customized (while assistants - (let* + (let* ((assistant (car assistants)) ; compiler bogus warning here - (nameregexp - (or - (cdr-safe + (nameregexp + (or + (cdr-safe (assoc assistant proof-assistant-table)) - (error "proof-site: symbol " (symbol-name assistant) - "is not in proof-assistant-table"))) + (error "Symbol %s is not in proof-assistant-table (in docstring-magic)" + (symbol-name assistant)))) (assistant-name (car nameregexp)) (sname (symbol-name assistant)) (elisp-file sname)) @@ -85,3 +85,6 @@ (setq func-menu 'markup-hack) (load "texi-docstring-magic.el") + +(provide 'docstring-magic) +;;; docstring-magic.el ends here -- cgit v1.2.3