-------------------------------------------------------------------------------
-Version: 0.2.4
-Date: February 11, 2010
+Version: git HEAD
+Date: February 11, 2010 - or later
See also: http://www.libdai.org
-------------------------------------------------------------------------------