From 52a672ec7efcd69544ebfe0e398074448874ddee Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 May 2004 12:58:13 +0000
Subject: [PATCH] * AUTHORS: Update.

---
 AUTHORS   | 3 +++
 ChangeLog | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 756da211b..a130ad655 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -1,4 +1,7 @@
 Have contributed to Spot:
 
 Alexandre Duret-Lutz
+Denis Poitrenaud
 Rachid Rebiha
+Soheib Baarir
+Thomas Martinez
diff --git a/ChangeLog b/ChangeLog
index 12ab752f7..365cc187c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-05-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* AUTHORS: Update.
+
 	* src/ltlvisit/reducform.hh: Update Doxygen comments for
 	previous change.