comparison bin/dbdict-run @ 544:de6de7c2c54b

merged and changed state to dictionary
author James Bergstra <bergstrj@iro.umontreal.ca>
date Mon, 17 Nov 2008 20:05:31 -0500
parents 798607a058bd
children 990fa151bb10
comparison
equal deleted inserted replaced
543:34aba0efa3e9 544:de6de7c2c54b