comparison doc/ext.py @ 980:62b65651f312

added __str__ to early Stopper
author James Bergstra <bergstrj@iro.umontreal.ca>
date Thu, 15 Apr 2010 10:08:57 -0400
parents 7edb78ba4c5b
children
comparison
equal deleted inserted replaced
979:2a53384d9742 980:62b65651f312