j
k
j a
j l
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
Attachments:
Show replies by date
gambit-list@iro.umontreal.ca
Add to favorites Remove from favorites