== bfloop 1.2, 2010-10-28

Fixed a serious bug that led to undefined behavior on architectures
where unsigned long and unsigned long long have the same size. These two
types were used in the bigint code, which assumed that unsigned long
long was big enough to hold the multiplication of two unsigned longs and
be shifted by the number of bits in an unsigned long. These types are
now typedefs for uint32_t and uint64_t.

== bfloop 1.1, 2009-10-09

Fixed a bug in MIU-WELL-FORMED?. It was only checking the last digit for
well-formedness.

Fixed line and column numbers in error messages. There were problems in
handling whitespace and single-character tokens. Columns are 1-indexed
rather than 0-indexed.

Added sample programs for MIU-PROOF-PAIR? and WONDROUS?.

Included the file GPL, under which the Bison-generated files yyparse.c
and yyparse.h are licensed.

Regenerated build files with Autoconf 2.64 and Automake 1.11.

Renamed bfloop.tab.y to yyparse.y so that the derived file bfloop.tab.c
(now yyparse.c) will not be deleted on "make distclean".

== bfloop 1.0, 2009-07-19

Initial release.