2007-03-06 (version 1.4-8)
  - tiny fix to make it compile with gcc 4
  - now also compiles for 64-bit architectures
  - upgraded to newest dlmalloc

2004-07-05 (version 1.4-7)
  - fixed bug in formula reductions (double negation)

2004-06-28 (version 1.4-6)
  - fixed bug in the GTA SetMinus automaton construction

2003-03-23 (version 1.4-5)
  - now compiles with gcc 3.1.1 without warnings

2002-11-05 (version 1.4-4)
  - now using automake+autoconf
  - various minor compiler warnings fixed
