joel
committed
on 22 Oct 04
upped version numbers to 5.1.2 and updated documentation