view README.txt @ 1220:35fb6e9713d2

reply to razvan re: plugin_jb
author James Bergstra <bergstrj@iro.umontreal.ca>
date Wed, 22 Sep 2010 13:36:30 -0400
parents 798607a058bd
children
line wrap: on
line source