diff options
| author | David Aspinall | 2009-09-10 21:52:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-10 21:52:37 +0000 |
| commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
| tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/proof-toolbar.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index ba28c3a5..fc23aabd 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -1,6 +1,6 @@ ;;; proof-toolbar.el --- Toolbar for Proof General ;; -;; Copyright (C) 1998-2008 David Aspinall / LFCS. +;; Copyright (C) 1998-2009 David Aspinall / LFCS. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -23,8 +23,8 @@ (eval-and-compile (require 'span) (require 'proof-utils) - (require 'proof-config) - (require 'proof-autoloads)) + (require 'proof-config)) + ;; ;; Function, icon, button names |