From 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 8 Aug 2010 13:42:31 +0000 Subject: Checkdoc cleanups --- generic/proof-maths-menu.el | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'generic/proof-maths-menu.el') diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index 4195a7dc..7d8db94d 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -1,4 +1,4 @@ -;; proof-maths-menu.el Support for maths menu mode package +;;; proof-maths-menu.el --- Support for maths menu mode package ;; ;; Copyright (C) 2007, 2009 LFCS Edinburgh / David Aspinall ;; Author: David Aspinall @@ -10,14 +10,16 @@ ;; ;; $Id$ ;; -;; ================================================================= -;; -;; NB: maths-menu is bundled with Proof General in lib/, and PG will select +;;; Commentary: +;; +;; Note: maths menu is bundled with Proof General in lib/, and PG will select ;; it's own version before any other version on the Emacs load path. ;; If you want to override this, simply load your version before ;; starting Emacs, with (require 'maths-menu). ;; +;;; Code: + (eval-when-compile (require 'cl)) @@ -54,3 +56,7 @@ in future if we have just activated it for this buffer." (provide 'proof-maths-menu) ;; End of proof-maths-menu.el + +(provide 'proof-maths-menu) + +;;; proof-maths-menu.el ends here -- cgit v1.2.3