j
k
j a
j l
2011/10/29 Dominique Boucher schemeway@gmail.com:
try starting gsi with the -:d- option. This way, gsi is controlled using standard input and output.
Thanks! That works on Windows, too.
Afficher les réponses par date
gambit-list@iro.umontreal.ca
Ajouter aux marque-pages Supprimer des marque-pages