From f635d105b3c400e5492518aad65585f7ab20883e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 22 Oct 1998 16:30:07 +0000
Subject: Separated splash screen code

---
 generic/proof-site.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index dfa2c563..172bf654 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -1,7 +1,7 @@
 ;; proof-site.el -- Configuration for site and choice of provers.
 ;;
 ;; Copyright (C) 1998 LFCS Edinburgh. 
-;; Authors: David Aspinall
+;; Author: David Aspinall
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
 ;; $Id$
-- 
cgit v1.2.3