From 3c82475eba1fb05a8b679ad2e459b8df8c0d5e9f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 8 Nov 1999 14:01:59 +0000
Subject: Copyright messages updated.

---
 generic/proof-site.el    | 2 +-
 generic/proof-toolbar.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 100b9c3a..32961250 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -1,7 +1,7 @@
 ;; proof-site.el -- Loading stubs for Proof General.
 ;;		    Configuration for site and choice of provers.
 ;;
-;; Copyright (C) 1998 LFCS Edinburgh. 
+;; Copyright (C) 1998,9 LFCS Edinburgh. 
 ;; Author:      David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index b72d2f4b..e154e73e 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 David Aspinall.
+;; Copyright (C) 1998,9  David Aspinall / LFCS.
 ;; Author:     David Aspinall <da@dcs.ed.ac.uk>
 ;; Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk>
 ;;
-- 
cgit v1.2.3