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/proof-splash.el | |
parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) |
Checkdoc cleanups
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 12 |
1 files changed, 10 insertions, 2 deletions
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 |