From ed62d37826032f897e10acd359ceae79fa06db1c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 08:53:16 +0000
Subject: (C) date

---
 lib/span.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/span.el')

diff --git a/lib/span.el b/lib/span.el
index bf521ae1..0b07867f 100644
--- a/lib/span.el
+++ b/lib/span.el
@@ -1,6 +1,6 @@
 ;;; span.el --- Datatype of "spans" for Proof General
 ;;
-;; Copyright (C) 1998-2008 LFCS Edinburgh
+;; Copyright (C) 1998-2009 LFCS Edinburgh
 ;; Author:      Healfdene Goguen
 ;; Maintainer:  David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:     GPL (GNU GENERAL PUBLIC LICENSE)
-- 
cgit v1.2.3