I just downloaded and installed this. It was supposed to be for 4.7.2, but when I invoke gsi it shows 4.6.6 Steve -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20140627/35744c87/attachment.htm>