From 5c938d2d0e2d1ed153f5672c9e2eb1da8d5b930a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Aug 2009 12:19:07 +0000
Subject: Bump year

---
 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 802fec4a..c454538a 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -63,7 +63,7 @@
       (string-match "Version \\([^ ]+\\)\\." proof-general-version)
       (match-string 1 proof-general-version))))
 
-(defconst proof-general-version-year "2008")
+(defconst proof-general-version-year "2009")
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3