diff options
Diffstat (limited to 'obsolete/plastic/plastic.el')
| -rw-r--r-- | obsolete/plastic/plastic.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/obsolete/plastic/plastic.el b/obsolete/plastic/plastic.el index f5462ba6..09a61b27 100644 --- a/obsolete/plastic/plastic.el +++ b/obsolete/plastic/plastic.el @@ -1,5 +1,7 @@ ;; plastic.el - Major mode for Plastic proof assistant ;; +;; Portions © Copyright 2018 Free Software Foundation, Inc. +;; ;; Author: Paul Callaghan <P.C.Callaghan@durham.ac.uk> ;; ;; $Id$ @@ -15,8 +17,8 @@ (require 'cl) (require 'span) (require 'proof-syntax) - (require 'outline) - (defvar plastic-keymap nil)) + (require 'outline)) +(defvar plastic-keymap) ;FIXME: Not defined anywhere! (require 'plastic-syntax) |