ChangeLog

version 1.4 : January 2008. Release includes auto-saturation mechanisms and homomorphism rewrite rules.
	* homomorphisms Skip predicate added
	* rewriting rules implmented to produce dynamic saturation effect
	* local apply mechanisms and related rules
	* hanoi example added to repository
	* INST_STL removed from build (was broken with gcc > 3.3 anyway)

version 1.3 : May 2007. Release includes support for additive Edge valued DDD and SDD
	* various cleanups and rewrites for compliance with gcc >= 4.1
	* minor updates to allow build on 64 bit architectures
	* added tests using uttk
	* include a dot export example
	
Version 1.2 : January 2006. Release includes the fixpoint construction for homomorphisms.
	* include serialization and user homomorphisms
	* Cleaned up includes
	* Added doxygen documentation
	* Changed hash functions
	* Some efficiency speedup

Version 1.1 : November 2004. First semi-public release of the libDDD. Release includes SDD.
	* Uses autotools for build procedure, tested on Mac, linux, cygwin.
	* Compiles in three variants : 
	** libddd.a, the optimized version, 
	** libddd_d.a version with debugging symbols activated, 
	** libddd_otfg.a a version with experimental on the fly garbage collection
	* Optionally, using gcc in versions 3.1, 3.2 or 3.3, it is possible to activate build of INST_STL version, modify src/Makefile.am for this.

Pre 1.0 : 2001-2003. Beta versions of the pure DDD library. Version 0.99 was version number for some time.