From 32bdd6317cf774c67fa1d9039d14d75d900c46f8 Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Wed, 26 Aug 1998 16:50:58 +0000 Subject: proof is now able to inherit append-element from tl-list --- proof.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'proof.el') diff --git a/proof.el b/proof.el index fbe68fde..9e6866e8 100644 --- a/proof.el +++ b/proof.el @@ -1,9 +1,10 @@ ;; proof.el Major mode for proof assistants ;; Copyright (C) 1994 - 1998 LFCS Edinburgh. -;; Authors: Yves Bertot, Healfdene Goguen, Thomas Kleymann and Dilip Sequeira +;; Authors: David Aspinall, Yves Bertot, Healfdene Goguen, +;; Thomas Kleymann and Dilip Sequeira ;; Maintainer: LEGO Team -;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, +;; Thanks to Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -17,6 +18,7 @@ (require 'proof-syntax) (require 'proof-indent) (require 'easymenu) +(require 'tl-list) (autoload 'w3-fetch "w3" nil t) -- cgit v1.2.3