From 0f304df2eddcbe1dde2cd577eeef4a92e3a59934 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 9 Jul 2004 13:06:33 +0000
Subject: [PATCH] * THANKS: Fill in.

---
 ChangeLog | 2 ++
 THANKS    | 7 +++++++
 2 files changed, 9 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 9acfaa51a..eec7dce6a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-07-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* THANKS: Fill in.
+
 	* src/tgbatest/ltl2baw.pl: Do not use -T anymore.  Fix comments.
 
 2004-07-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/THANKS b/THANKS
index e69de29bb..6f517e9ee 100644
--- a/THANKS
+++ b/THANKS
@@ -0,0 +1,7 @@
+We are grateful to these people for their comments, help, or
+suggestions.
+
+Heikki Tauriainen
+Jean-Michel Couvreur
+Jean-Michel Ilié
+Yann Thierry-Mieg