* buddy/: Merge buddy-2-3.

acee9e75 · Alexandre Duret-Lutz · aa4a582f · acee9e75
Commit acee9e75 authored Jun 28, 2004 by Alexandre Duret-Lutz
--- a/ChangeLog
+++ b/ChangeLog
+2004-06-28  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* buddy/: Merge buddy-2-3.
+
 2004-06-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>

 	* src/tgbatest/ltl2tgba.cc (main): Degeneralize before