14 Jan
2009
14 Jan
'09
22:39
I wrote:
Hm ps. Marc, there seems something fishy with Gambit v4.3.2, ctl-c doesn't work anymore on the above.
(Entered as http://www.iro.umontreal.ca/~gambit/bugzilla/show_bug.cgi?id=87)