diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/PG-adapting.texi | 6 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 6 | ||||
| -rw-r--r-- | doc/dir | 5 | ||||
| -rw-r--r-- | doc/docstring-magic.el | 15 |
4 files changed, 17 insertions, 15 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 44c40549..5740faa2 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -51,14 +51,14 @@ @c @ref{node} without "see". Careful for info. -@set version 4.4.1~pre -@set emacsversion 24.4 +@set version 4.5-git +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ @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 579ab976..5663a6d5 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -57,14 +57,14 @@ @c @ref{node} without "see". Careful for info. @c -@set version 4.4.1~pre -@set emacsversion 24.4 +@set version 4.5-git +@set emacsversion 24.3 @set last-update September 2016 @set rcsid $Id$ @dircategory Theorem proving @direntry -* Proof General: (ProofGeneral). Organize your proofs with Emacs! +* ProofGeneral: (ProofGeneral). Organize your proofs with Emacs! @end direntry @c @@ -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 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 |