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 + * AUTHORS: Update. + * src/ltlvisit/reducform.hh: Update Doxygen comments for previous change.