comparison README.txt @ 589:6a7f3d83c72b

dbdict stuff
author James Bergstra <bergstrj@iro.umontreal.ca>
date Wed, 17 Dec 2008 15:39:30 -0500
parents 798607a058bd
children
comparison
equal deleted inserted replaced
588:990fa151bb10 589:6a7f3d83c72b