This commit was manufactured by cvs2svn to create branch 'RC_1_31_0'.
Merged 1.2 from trunk to RC_1_31_0.
merged fix
Merged fixes
Merged fixes
Merged 1.8 from trunk.
Remove unneeded files
fixed figure reference
still trying to make binary
added as binary
changing to binary
added binary
added -kb
fixed figure reference
changed to use std::set::find instead of std::find to fix performance bug
also change const_iterator to iterator to match the return type of
std::set::find in case the implementation does not provide conversion
changed iterator to const_iterator
Merged fix for python problem