diff --git a/ChangeLog b/ChangeLog index 7a83ea388..3697b1c36 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-06-28 Alexandre Duret-Lutz + + * buddy/: Merge buddy-2-3. + 2004-06-25 Alexandre Duret-Lutz * src/tgbatest/ltl2tgba.cc (main): Degeneralize before