----------------------------------------------------------------------------
   Logfile for changes to the BDD package
----------------------------------------------------------------------------

x  means bugfix or changed code
+  means added code
-  means removed code

Thanks to the following people for bug reports and suggestions
  Gerd Behrmann
  Ken Larsen
  Henrik Reif Andersen


VER 1.1
-------
  +  Added bdd_varprofile
  +  Mucho better documentation.
  +  Added Henrik Reif Andersen's BDD notes to the documentation.
  +  Added BDD_REORDER_RANDOM for test purposes (usefull for others?)
  x  Fixed a bug in bdd_appex and bdd_appall.
  x  Fixed a bug in bdd_simplify.
  x  Speed fixup to fdd_extdomain 
  x  Lots of small (insignificant?) bug fixes in fdd.c.
  x  bdd_load/save updated to take reordering into account.
  x  Generalized bdd_restrict to use a BDD variable set.
  x  Fixed the identifiers for the operator caches.
  x  The math functions log1p and pow2 has been removed as they didn't
     exist on some systems. The same applies to M_LN2.
  x  New file structure and makefiles.
  -  Removed bdd_break, bdd_restart1