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-splash.el | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) (limited to 'generic/proof-splash.el') diff --git a/generic/proof-splash.el b/generic/proof-splash.el index f8f88f3e..91ee4660 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -1,12 +1,18 @@ ;; proof-splash.el -- Splash welcome screen for Proof General ;; -;; Copyright (C) 1998-2005, 2009 LFCS Edinburgh. +;; Copyright (C) 1998-2005, 2009, 2010 LFCS Edinburgh. ;; Author: David Aspinall ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; ;; $Id$ ;; ;; +;;; Commentary: +;; +;; Provide splash screen for Proof General. +;; + +;;; Code: (require 'proof-site) @@ -256,5 +262,7 @@ If TIMEOUT is non-nil, arrange for a time-out to occur outside this function." (setq frame-title-format proof-splash-old-frame-title-format) (setq proof-splash-old-frame-title-format nil))) + (provide 'proof-splash) -;; End of proof-splash. + +;;; proof-splash.el ends here -- cgit v1.2.3