comparison misc.py @ 227:17c5d080964b

reinstating changeset 216 clobbered accidentally by 218
author James Bergstra <bergstrj@iro.umontreal.ca>
date Tue, 27 May 2008 13:23:05 -0400
parents e9a95e19e6f8
children d7250ee86f72
comparison
equal deleted inserted replaced
226:3595ba2610f7 227:17c5d080964b