diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-05 09:54:56 +0000 |
| commit | b30f353c2ea9f514d7ab6bf821a7919adf62143a (patch) | |
| tree | 9fe25f3ed35c8377d749d8e7336c9e44fd7481e6 /generic/proof.el | |
| parent | 559426016c112b6147fe82582c6479521b0fab6a (diff) | |
Clean whitespace
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/generic/proof.el b/generic/proof.el index 13ce9cb6..af065f89 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1,4 +1,4 @@ -;;; proof.el --- Proof General loader. +;;; proof.el --- Proof General loader. ;; ;; Copyright (C) 1998-2008 LFCS Edinburgh. ;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, @@ -8,7 +8,7 @@ ;; $Id$ ;; ;;; Commentary: -;; +;; ;; This file loads Proof General. It is required by the ;; individual prover modes. Loading order of PG is: ;; @@ -18,17 +18,18 @@ ;; 4. stub explicitly loads <PA>/<PA>.el and execute real mode function ;; 5. <PA>.el requires this file, rest of PG loaded here ;; 6. further modules loaded by autoloads/prover-specific requires. -;; -;; +;; +;; ;;; Code: (require 'proof-site) ; site/prover config, global vars, autoloads (require 'proof-compat) ; Emacs and OS compatibility (require 'proof-utils) ; utilities (require 'proof-config) ; configuration variables -(require 'proof-auxmodes) ; further autoloads (proof-splash-message) ; welcome the user now. +(require 'proof-auxmodes) ; Further autoloads + (provide 'proof) ;;; proof.el ends here |