From 18314b0a1712c6af10151c22ebde87bcb36611c5 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Fri, 2 Oct 1998 14:25:23 +0000
Subject: changed maintainer information to lego@dcs and isabelle@dcs .

---
 coq/example.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'coq/example.v')

diff --git a/coq/example.v b/coq/example.v
index 58580c65..d652daab 100644
--- a/coq/example.v
+++ b/coq/example.v
@@ -4,6 +4,7 @@
     $Id$
 
     Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+    Please let us know if you could maintain this example file!
 *)    
 
 (****************************************************************************)
-- 
cgit v1.2.3