diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
| commit | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (patch) | |
| tree | 9be997d4d9af9c12882d53434d8dbbcb49cbdcb6 /generic/pg-pbrpm.el | |
| parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) | |
Checkdoc cleanups
Diffstat (limited to 'generic/pg-pbrpm.el')
| -rw-r--r-- | generic/pg-pbrpm.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index e036d7ae..1b287194 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -1,11 +1,13 @@ ;; pg-pbrpm.el --- Proof General - Proof By Rules Pop-up Menu - mode. ;; -;; Copyright (C) 2004, 2009 - Universite de Savoie, France. +;; Copyright (C) 2004 - Universite de Savoie, France. ;; Authors: Jean-Roch SOTTY, Christophe Raffalli ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; ;; $Id$ ;; +;;; Commentary: +;; ;; Analyse the goal buffer to produce a popup menu. ;; ;; NB: this code is currently XEmacs specific @@ -28,6 +30,8 @@ ;; + + ;;; Code: (require 'span) (eval-when-compile @@ -425,7 +429,7 @@ If no match found, return the empty string." (defun pg-pbrpm-translate-position (buffer pos) "return pos if buffer is goals-buffer otherwise, return the point position in - the goal buffer" +the goal buffer" (if (eq proof-goals-buffer buffer) pos (with-current-buffer proof-goals-buffer |