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

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

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 8d14c72d..9398c337 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -1,6 +1,6 @@
 ;; proof-menu.el  Menus, keymaps, and misc commands for Proof General
 ;;
-;; Copyright (C) 2000,2001 LFCS Edinburgh.
+;; Copyright (C) 2000,2001,2009 LFCS Edinburgh.
 ;; Authors:   David Aspinall
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-- 
cgit v1.2.3